Check computer science papers: citations, claims and retractions

Verifiable Memory: Learning Unified Memory Management with Local and Global Verifiers for Large Language Model Agents

Sun, X., Wang, Q., Li, H., & Chen, L. (2026) · arXiv

AI-based Problem Solving and PlanningSpeech and dialogue systems

Cited by 0

Scientific discovery as meta-optimization: a combinatorial optimization case study

Zhang, Y.-H., Sipling, C., & Di Ventra, M. (2026) · arXiv

Metaheuristic Optimization Algorithms ResearchEvolutionary Algorithms and Applications

Cited by 0

DTRec: Learning Dynamic Reasoning Trajectories for Sequential Recommendation

Shao, Y., Zhou, P., Wang, S., Zhang, W., Cai, X., & Kim, S. (2025) · arXiv

Recommender Systems and TechniquesInformation Retrieval and Search Behavior

Cited by 0

Problem-Based Educational Games for Pancasila Education: Enhancing Elementary Students’ Learning Outcomes through Interactive Digital Media

Aprima, Agustini, K., & Sudatha, I. G. W. (2026) · Journal of Education Technology

Multimedia Learning SystemsEducational Games and Gamification

Cited by 0

GenEnv: Difficulty-Aligned Co-Evolution Between LLM Agents and Environment Simulators

Guo, J., Yang, L., Chen, P., Xiao, Q., Wang, Y., Juan, X., Qiu, J., Shen, K., & Wang, M. (2025) · arXiv

Reinforcement Learning in RoboticsDomain Adaptation and Few-Shot Learning

Cited by 0

RATTENTION: Towards the Minimal Sliding Window Size in Local-Global Attention Models

Wang, B., Lan, C., Wang, C., & Pang, R. (2025) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0

PRIME: Planning and Retrieval-Integrated Memory for Enhanced Reasoning

Tran, H., Yao, Z., Tran, N. L., Yang, Z., Ouyang, F., Han, S., Rahimi, R., & Yu, H. (2025) · arXiv

AI-based Problem Solving and PlanningTopic Modeling

Cited by 0

Citation-Enforced RAG for Fiscal Document Intelligence: Cited, Explainable Knowledge Retrieval in Tax Compliance

Shanivendra, A. C. (2026) · arXiv

Topic ModelingExplainable Artificial Intelligence (XAI)

Cited by 0

Models That Prove Their Own Correctness

Amit, N., Goldwasser, S., Paradise, O., & Rothblum, G. (2024) · arXiv

Formal Methods in VerificationLogic, programming, and type systems

Cited by 0

Peer Review #1 of "Feature-based detection of automated language models: tackling GPT-2, GPT-3 and Grover (v0.1)"

(2021) · PeerJ Computer Science

Authorship Attribution and ProfilingNatural Language Processing Techniques

Cited by 0

Are Researchers Being Replaced by Artificial Intelligence?

Salatino, A. A., Scherp, A., Kreutz, C. K., & Vahdati, S. (2026) · arXiv

Ethics and Social Impacts of AIArtificial Intelligence Applications

Cited by 0

ToolLibGen: Scalable Automatic Tool Creation and Aggregation for LLM Reasoning

Yue, M., Liu, Z., Yang, L., Zhang, J., Liu, Z., Chen, H., Yao, Z., Savarese, S., Xiong, C., Heinecke, S., et al. (2025) · arXiv

Topic ModelingAI-based Problem Solving and Planning

Cited by 0

The OpenHands Software Agent SDK: A Composable and Extensible Foundation for Production Agents

Wang, X., Rosenberg, S., Michelini, J., Smith, C., Tran, H., Nyst, E., Malhotra, R., Zhou, X., Chen, V., Brennan, R., et al. (2025) · arXiv

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 0

WebAgent-R1: Training Web Agents via End-to-End Multi-Turn Reinforcement Learning

Wei, Z., Yao, W., Liu, Y., Zhang, W., Lu, Q., Qiu, L., Yu, C., Xu, P., Zhang, C., Yin, B., et al. (2025) · arXiv

Web Data Mining and AnalysisReinforcement Learning in Robotics

Cited by 0

2021 Online Conference: Diversifying Persona Studies Online International Conference and Special Issue

Barbour, K., Lee, K., & Moore, C. (2021) · Persona Studies

Persona Design and ApplicationsPublishing and Scholarly Communication

Cited by 0

An Efficient Nonlinear Post-Processing Applied to Image Encryption

OULMI, N. (2023) · PRZEGLĄD ELEKTROTECHNICZNY

Chaos-based Image/Signal EncryptionComputer Science and Engineering

Cited by 0

KAPSO: A Knowledge-grounded framework for Autonomous Program Synthesis and Optimization

Nadafian, A., Mohammadshahi, A., & Yazdani, M. (2026) · arXiv

Software Engineering ResearchEvolutionary Algorithms and Applications

Cited by 0

WWW.Serve: Interconnecting Global LLM Services through Decentralization

Wang, H., Xia, Z., Chen, Z., & Chen, B. (2026) · arXiv

Cloud Computing and Resource ManagementDistributed and Parallel Computing Systems

Cited by 0

Dynamic Cheatsheet: Test-Time Learning with Adaptive Memory

Suzgun, M., Yuksekgonul, M., Bianchi, F., Jurafsky, D., & Zou, J. (2025) · arXiv

Topic ModelingDomain Adaptation and Few-Shot Learning

Cited by 0

GIER: Gap-Driven Self-Refinement for Large Language Models

Dewri, R. (2025) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution

Sun, S., Hsieh, C.-P., Ladhak, F., Arakelyan, E., Serano, S. A., & Ginsburg, B. (2025) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0

FinMaster: A Holistic Benchmark for Mastering Full-Pipeline Financial Workflows with LLMs

Jiang, J., Yang, C., Cui, A., Jin, S., Wang, R., Li, B., Huang, X., Sun, D., & Wang, X. (2025) · arXiv

Topic ModelingArtificial Intelligence Applications

Cited by 0

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)

Ren, L., Xiao, G., Qi, G., Geng, Y., & Xue, H. (2025) · arXiv

Logic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Cited by 0

DR-Arena: an Automated Evaluation Framework for Deep Research Agents

Gao, Y., Zhao, R., Deng, Y., & Zhang, W. (2026) · Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

Information Retrieval and Search BehaviorTopic Modeling

Cited by 0