Most cited computer science papers
- Verified
ThetaEvolve: Test-time Learning on Open Problems
Wang, Y., Su, S.-R., Zeng, Z., Xu, E., Ren, L., Yang, X., Huang, Z., He, X., Ma, L., Peng, B., et al. (2025) · arXiv
Evolutionary Algorithms and ApplicationsAI-based Problem Solving and Planning
Cited by 0
- Verified
Improving Code Autocompletion with Transfer Learning
Zhou, W., Kim, S., Murali, V., & Aye, G. A. (2021) · arXiv
Software Engineering ResearchTopic Modeling
Cited by 0
- Verified
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
Budiu, M., McSherry, F., Ryzhyk, L., & Tannen, V. (2022) · arXiv
Advanced Database Systems and QueriesData Stream Mining Techniques
Cited by 0
- Verified
Alphabets, Grammars, Calculators, and the End of Hand-Crafted Systems
Idreos, S. (2025) · Proceedings of the VLDB Endowment
Advanced Database Systems and QueriesCloud Computing and Resource Management
Cited by 0
- Verified
MemOS: A Memory OS for AI System
Li, Z., Xi, C., Li, C., Chen, D., Chen, B., Song, S., Niu, S., Wang, H., Yang, J., Tang, C., et al. (2025) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 0
- Verified
SuperLocalMemory: Privacy-Preserving Multi-Agent Memory with Bayesian Trust Defense Against Memory Poisoning
Bhardwaj, V. P. (2026) · SSRN (preprint)
Adversarial Robustness in Machine LearningAccess Control and Trust
Cited by 0
- Verified
RoPoLL: Robust Panel of LLM Judges
Acharya, A., Pan, K. W., & Verkhovsky, B. (2026) · arXiv
Adversarial Robustness in Machine LearningMachine Learning and Data Classification
Cited by 0
- Verified
OfficeQA Pro: An Enterprise Benchmark for End-to-End Grounded Reasoning
Opsahl-Ong, K., Singhvi, A., Collins, J., Zhou, I., Wang, C., Baheti, A., Oertell, O., Portes, J., Havens, S., Elsen, E., et al. (2026) · arXiv
Topic ModelingInformation Retrieval and Search Behavior
Cited by 0
- Verified
Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning
Qu, Y., Yang, M. Y. R., Setlur, A., Tunstall, L., Beeching, E. E., Salakhutdinov, R., & Kumar, A. (2025) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 0
- Verified
Agentic Synthesis against Counterexample-Supplemented Sketches
Castle, M., & Rubeck, E. (2026) · arXiv
Software Engineering ResearchEvolutionary Algorithms and Applications
Cited by 0
- Verified
DefenderBench: A Toolkit for Evaluating Language Agents in Cybersecurity Environments
Zhang, C., Cote, M.-A., Albada, M., Sankaran, A., Stokes, J. W., Wang, T., Abdi, A., Blum, W., & Abdul-Mageed, M. (2025) · arXiv
Adversarial Robustness in Machine LearningNetwork Security and Intrusion Detection
Cited by 0
- Verified
Code Aesthetics with Agentic Reward Feedback
Xiao, B., Jiang, L., Huang, S., Lv, T., Huang, Y., Wu, X., Cui, L., & Wei, F. (2025) · arXiv
Software Engineering ResearchTeaching and Learning Programming
Cited by 0
- Verified
Closer Look at Efficient Inference Methods: A Survey of Speculative Decoding
Ryu, H., & Kim, E. (2024) · arXiv
Natural Language Processing TechniquesTopic Modeling
Cited by 0
- Verified
Mo-SAN-02 - An Adaptive Embedded Readout System for Resistive Sensor Arrays
Balraj, D., Woias, P., Kundu, S., Tarique, M., & Abelmann, L. (2026) · Poster
Sensor Technology and Measurement SystemsAnalog and Mixed-Signal Circuit Design
Cited by 0
- Verified
Towards actionable hypotension prediction - predicting catecholamine therapy initiation in the intensive care unit
Koebe, R., Saibel, N., Alcaraz, J. M. L., Schäfer, S., & Strodthoff, N. (2025) · arXiv
Machine Learning in HealthcareSepsis Diagnosis and Treatment
Cited by 0
- Verified
ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis
Naik, A., Mathur, Y., Prakam, Rose, C., & Mortensen, D. (2026) · arXiv
Evolutionary Algorithms and ApplicationsAI-based Problem Solving and Planning
Cited by 0
- Verified
Trajectory-Refined Distillation
Jiang, L., Xu, H., Ding, Y., & Zhang, A. (2026) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 0
- Verified
Towards High Data Efficiency in Reinforcement Learning with Verifiable Reward
Tang, X., Zhang, Z., Liu, Y., Zhao, W. X., Wen, Z., Zhang, Z., & Zhou, J. (2025) · arXiv
Reinforcement Learning in RoboticsMachine Learning and Algorithms
Cited by 0
- Verified
Building Reliable Long-Form Generation via Hallucination Rejection Sampling
Li, L., Channing, G., Bhat, S. M., Jones, G. D., & Gal, Y. (2026) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 0
- Verified
Heterogeneous Swarms: Jointly Optimizing Model Roles and Weights for Multi-LLM Systems
Feng, S., Wang, Z., Goyal, P., Wang, Y., Shi, W., Xia, H., Palangi, H., Zettlemoyer, L., Tsvetkov, Y., Lee, C.-Y., et al. (2025) · arXiv
Topic ModelingMetaheuristic Optimization Algorithms Research
Cited by 0
- Verified
OctoBench: Benchmarking Scaffold-Aware Instruction Following in Repository-Grounded Agentic Coding
Ding, D., Liu, S., Yang, E., Lin, J., Chen, Z., Dou, S., Guo, H., Cheng, W., Zhao, P., Xiao, C., et al. (2026) · arXiv
Software Engineering ResearchTeaching and Learning Programming
Cited by 0
- Verified
STATE CAPACITY, INSTITUTIONAL EFFECTIVENESS, AND STRUCTURAL TRANSFORMATION AND THEIR IMPLICATIONS FOR INCLUSIVE GROWTH IN SUB-SAHARAN AFRICA
ISAH, B., & ABDULLAHI, U. A. (2026) · International Journal of African Innovation and Multidisciplinary Research
Economic Growth and DevelopmentNatural Resources and Economic Development
Cited by 0
- Verified
SYNC: A Synthetic Long-Context Understanding Benchmark for Controlled Comparisons of Model Capabilities
Cao, S., Zou, K., & Wang, L. (2025) · Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing
Topic ModelingNatural Language Processing Techniques
Cited by 0
- Verified
Soft Adaptive Policy Optimization
Gao, C., Zheng, C., Chen, X.-H., Dang, K., Liu, S., Yu, B., Yang, A., Bai, S., Zhou, J., & Lin, J. (2025) · arXiv
Reinforcement Learning in RoboticsTopic Modeling
Cited by 0
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free