Check computer science papers: citations, claims and retractions

AgenticFlict: A Large-Scale Dataset of Merge Conflicts in AI Coding Agent Pull Requests on GitHub

Ogenrwot, D., & Businge, J. (2026) · Proceedings of the 3rd ACM International Conference on AI-Powered Software

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 0

How Much of a Harness Does a Strong Agent Need for Autonomous ML Engineering?

Brilliantov, K., Hernández-Cano, A., & Abbé, E. (2026) · arXiv

Machine Learning and Data ClassificationSoftware Engineering Research

Cited by 0

Artificial Intelligence (AI) Tools in Higher Education: An Empirical Study of Student Usage Patterns, Dependency and Ethical Perceptions

Naik, G., Pednekar, R., Shaikh, M., & Khan, U. (2026) · Zenodo

Artificial Intelligence in EducationAcademic integrity and plagiarism

Cited by 0

Language Models are Symbolic Learners in Arithmetic

Deng, C., Li, Z., Xie, R., Chang, R., & Chen, H. (2024) · arXiv

Topic ModelingComputability, Logic, AI Algorithms

Cited by 0

VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs

Zhang, Y., Wen, C., Cao, J., Liu, D., Xu, Z., Liu, Y., & Qin, S. (2026) · Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering

Software Engineering ResearchLogic, programming, and type systems

Cited by 0

Can an LLM Induce a Graph? Investigating Memory Drift and Context Length

Yousuf, R. B., Khatri, A., Xu, S., Sharma, M., & Ramakrishnan, N. (2025) · 2025 IEEE International Conference on Knowledge Graph (ICKG)

Topic ModelingNatural Language Processing Techniques

Cited by 0

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs

Un, C., Lu, Y., Yang, T., & Yang, D. (2025) · arXiv

Advanced Graph Neural NetworksTopic Modeling

Cited by 0

Multi-agent Collaboration with State Management

Liu, M., Chen, T., Xu, Z., Jiang, X., & Dong, Y. (2026) · arXiv

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 0

Improved GUI Grounding via Iterative Narrowing

Nguyen, A. (2024) · arXiv

Multimodal Machine Learning ApplicationsRobot Manipulation and Learning

Cited by 0

Information Retrieval Misses the Mark for LLM Agents

Sun, Y., Wei, P., & Hsieh, L. B. (2026) · SSRN

Information Retrieval and Search BehaviorTopic Modeling

Cited by 0

SmartSearch: How Ranking Beats Structure for Conversational Memory Retrieval

Derehag, J., Calva, C., & Ghiurau, T. (2026) · arXiv

Information Retrieval and Search BehaviorTopic Modeling

Cited by 0

Understanding Bird's-Eye View of Road Semantics using an Onboard Camera

Can, Y. B., Liniger, A., Unal, O., Paudel, D., & Van Gool, L. (2020) · arXiv

Advanced Neural Network ApplicationsAutonomous Vehicle Technology and Safety

Cited by 0

Label-Efficient Human Activity Recognition from Wearables via Self-Supervised Representation Learning

Sheng, T., & Huber, M. (2025) · 2025 International Conference on Machine Learning and Applications (ICMLA)

Context-Aware Activity Recognition SystemsDomain Adaptation and Few-Shot Learning

Cited by 0

Students' Practices and Skills in the LLM-Era: "You Can't Outsource the Struggle and Still Get the Skill"

de Freitas, E. R. S., Pinto, G., & Monteiro, D. (2026) · arXiv

Artificial Intelligence in EducationDoctoral Education Challenges and Solutions

Cited by 0

LongSSM: On the Length Extension of State-space Models in Language Modelling

Wang, S. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0

HarnessOpt-Bench: Evaluating LLMs at Harness Optimization

Ursekar, V., Shanker, A., Maurya, Y., Yasser, S., Kalmath, V. S., Chatrath, V., & Xue, Y. (2026) · arXiv

Software Engineering ResearchArtificial Intelligence Applications

Cited by 0

Predictive Multi-Tier Memory Management for KV Cache in Large-Scale GPU Inference

Ganjihal, S. R. (2026) · arXiv

Parallel Computing and Optimization TechniquesAdvanced Database Systems and Queries

Cited by 0

TaSR-RAG: Taxonomy-guided Structured Reasoning for Retrieval-Augmented Generation

Sun, J., Xie, Y., Shi, J., Wang, S., & Han, J. (2026) · arXiv

Topic ModelingInformation Retrieval and Search Behavior

Cited by 0

Integrating Play-Based Learning with Coding for Early Childhood Mathematics Education in Under-Resourced Schools

Selepe, M. A., & Willemse, K. (2025) · Journal of Education and Learning Technology

Teaching and Learning ProgrammingMathematics Education and Teaching Techniques

Cited by 0

Exploring the System 1 Thinking Capability of Large Reasoning Models

Zhang, W., Nie, S., Zhang, X., Zhang, Z., & Liu, T. (2026) · Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence

Topic ModelingNatural Language Processing Techniques

Cited by 0

CultRAG at SemEval-2026 Task 7: Hybrid Sparse-Dense Retrieval with Entity-Centric Knowledge Bases for Cultural MCQ Answering

Singh, A., & Das, R. (2026) · Proceedings of the 20th International Workshop on Semantic Evaluation (2026)

Topic ModelingInformation Retrieval and Search Behavior

Cited by 0

Artificial-Intelligence Grading Assistance for Handwritten Components of a Calculus Exam

Kortemeyer, G., Caspar, A., & Horica, D. (2025) · arXiv

Artificial Intelligence in EducationEducational Technology and Assessment

Cited by 0

The Reasoning Trap: How Enhancing LLM Reasoning Amplifies Tool Hallucination

Yin, C., Sha, Z., Cui, S., Meng, C., & Li, Z. (2026) · Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

Natural Language Processing TechniquesAI-based Problem Solving and Planning

Cited by 0

ClawMark: A Living-World Benchmark for Multi-Turn, Multi-Day, Multimodal Coworker Agents

Meng, F., Du, L., Wu, Z., Chen, G., Liu, X., Liao, J., Jiang, C., Wan, Z., Gu, J., Zhou, P., et al. (2026) · arXiv

AI-based Problem Solving and PlanningSpeech and dialogue systems

Cited by 0