Logic in Computer Science · Computer Science
mstlo: Efficient Online Monitoring of Signal Temporal Logic
Andreas Kaag Thomsen, Niels Viggo Stark Madsen, Valdemar Tang Evans, Thomas David Wright +2
2026-05-29
Programming Languages · Computer Science
Experience Report: Developing the Servo Web Browser Engine using Rust
Brian Anderson, Lars Bergstrom, David Herman, Josh Matthews +4
2015-05-28
Databases · Computer Science
MINT: Multi-Vector Search Index Tuning
Jiongli Zhu, Yue Wang, Bailu Ding, Philip A. Bernstein +2
2026-05-05
Programming Languages · Computer Science
VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds +1
2024-05-28
Computation and Language · Computer Science
Text2VectorSQL: Towards a Unified Interface for Vector Search and SQL Queries
Zhengren Wang, Dongwen Yao, Bozhou Li, Dongsheng Ma +6
2025-11-07
Computation and Language · Computer Science
NesTools: A Dataset for Evaluating Nested Tool Learning Abilities of Large Language Models
Han Han, Tong Zhu, Xiang Zhang, Mengsong Wu +2
2025-01-08
Information Retrieval · Computer Science
STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases
Shirley Wu, Shiyu Zhao, Michihiro Yasunaga, Kexin Huang +6
2024-10-22
Information Retrieval · Computer Science
Understanding the User: An Intent-Based Ranking Dataset
Abhijit Anand, Jurek Leonhardt, V Venktesh, Avishek Anand
2024-09-02
Computation and Language · Computer Science
CiteLLM: An Agentic Platform for Trustworthy Scientific Reference Discovery
Mengze Hong, Di Jiang, Chen Jason Zhang, Zichang Guo +4
2026-02-27
Information Retrieval · Computer Science
Semantic Vector Encoding and Similarity Search Using Fulltext Search Engines
Jan Rygl, Jan Pomikálek, Radim Řehůřek, Michal Růžička +2
2017-06-06
Computer Vision and Pattern Recognition · Computer Science
No Data? No Problem: Robust Vision-Tabular Learning with Missing Values
Marta Hasny, Laura Daza, Keno Bressem, Maxime Di Folco +1
2026-05-27
Information Retrieval · Computer Science
Rivendell: Project-Based Academic Search Engine
Teddy Lazebnik, Hanna Weitman, Yoav Goldberg, Gal A. Kaminka
2022-06-28
Programming Languages · Computer Science
Charon: An Analysis Framework for Rust
Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak +2
2025-06-03
Information Retrieval · Computer Science
Enhancing Knowledge Retrieval with In-Context Learning and Semantic Search through Generative AI
Mohammed-Khalil Ghali, Abdelrahman Farrag, Daehan Won, Yu Jin
2025-02-06
Artificial Intelligence · Computer Science
Monte Carlo Tree Search: A Review of Recent Modifications and Applications
Maciej Świechowski, Konrad Godlewski, Bartosz Sawicki, Jacek Mańdziuk
2023-04-04