Check computer science papers: citations, claims and retractions

Nested Human-in-the-Loop AI: A Chain of Code Prompting Framework for Research Tool Development with GenAI

Atkinson, C. F. (2025) · Discover Artificial Intelligence

Artificial Intelligence ApplicationsEthics and Social Impacts of AI

Cited by 3

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning

Yalcinkaya, B., Lauffer, N., Vazquez-Chanlatte, M., & Seshia, S. (2024) · Advances in Neural Information Processing Systems 37

Reinforcement Learning in Roboticssemigroups and automata theory

Cited by 3

Agentic Knowledgeable Self-awareness

Qiao, S., Qiu, Z., Ren, B., Wang, X., Ru, X., Zhang, N., Chen, X., Jiang, Y., Xie, P., Huang, F., et al. (2025) · Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

Topic ModelingNatural Language Processing Techniques

Cited by 3

Investigating Continual Pretraining in Large Language Models: Insights and Implications

Yıldız, Ç., Ravichandran, N. K., Sharma, N., Bethge, M., & Ermis, B. (2024) · arXiv

Domain Adaptation and Few-Shot LearningTopic Modeling

Cited by 3

Detecting Reference Errors in Scientific Literature with Large Language Models

Zhang, T. M., & Abernethy, N. F. (2024) · arXiv

Topic ModelingAcademic Writing and Publishing

Cited by 3

Unsupervised Learning for Trustworthy IoT

Banerjee, N., Giannetsos, T., Panaousis, E., & Took, C. C. (2018) · 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

Privacy-Preserving Technologies in DataMobile Crowdsensing and Crowdsourcing

Cited by 3

Pemanfaatan Augmented Reality dalam Pembelajaran IPS Menyajikan Informasi Sejarah dengan Realitas Tambahan

Wahiddiyah, N. P., Luthfia, A. N., Safitri, D., & Sujarwo, S. (2023) · Sinar Dunia: Jurnal Riset Sosial Humaniora dan Ilmu Pendidikan

Augmented Reality ApplicationsMultimedia Learning Systems

Cited by 3

Probabilistic Consensus through Ensemble Validation: A Framework for LLM Reliability

Naik, N. (2024) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 3

Pick Your Battles: Interaction Graphs as Population-Level Objectives for Strategic Diversity

Garnelo, M., Czarnecki, W. M., Liu, S., Tirumala, D., Oh, J., Gidel, G., van Hasselt, H., & Balduzzi, D. (2021) · arXiv

Artificial Intelligence in GamesEvolutionary Algorithms and Applications

Cited by 3

Data Organisation for Efficient Pattern Retrieval: Indexing, Storage, and Access Structures

Koukaras, P., & Tjortjis, C. (2025) · Big Data and Cognitive Computing

Data Mining Algorithms and ApplicationsAdvanced Database Systems and Queries

Cited by 3

LLark: A Multimodal Instruction-Following Language Model for Music

Gardner, J., Durand, S., Stoller, D., & Bittner, R. M. (2023) · arXiv

Music and Audio ProcessingMultimodal Machine Learning Applications

Cited by 3

SWE-Search: Enhancing Software Agents with Monte Carlo Tree Search and Iterative Refinement

Antoniades, A., Örwall, A., Zhang, K., Xie, Y., Goyal, A., & Wang, W. (2024) · arXiv

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 3

IterMask3D: Unsupervised anomaly detection and segmentation with test-time iterative mask refinement in 3D brain MRI

Liang, Z., Guo, X., Xu, W., Ibrahim, Y., Voets, N., Pretorius, P. M., Noble, J. A., & Kamnitsas, K. (2026) · Medical Image Analysis

Medical Image Segmentation TechniquesAnomaly Detection Techniques and Applications

Cited by 3

Robust Planning with LLM-Modulo Framework: Case Study in Travel Planning

Gundawar, A., Verma, M., Guan, L., Valmeekam, K., Bhambri, S., & Kambhampati, S. (2024) · arXiv

Topic ModelingAI-based Problem Solving and Planning

Cited by 3

Embedding Structure Matters: Comparing Methods to Adapt Multilingual Vocabularies to New Languages

Downey, C. M., Blevins, T., Goldfine, N., & Steinert-Threlkeld, S. (2023) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 3

MicroKGCL: A Knowledge Graph for Root Cause Localization of Feedback Issues in Microservices

Yao, X.-W., Lu, Q.-C., Li, Q., Liu, L.-L., & Zhu, Z.-C. (2023) · 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS)

Software System Performance and ReliabilitySoftware Engineering Research

Cited by 3

Variability of performance in video coding

Pearson, D. (2002) · 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing

Image and Video Quality AssessmentVideo Coding and Compression Technologies

Cited by 3

Towards Low-Barrier Cybersecurity Research and Education for Industrial Control Systems

McGuan, C., Yu, C., & Lin, Q. (2023) · 2023 IEEE International Conference on Intelligence and Security Informatics (ISI)

Network Security and Intrusion DetectionSmart Grid Security and Resilience

Cited by 3

Application of zero trust model in preventing medical errors

Sood, N., Parlapalli, R., Sharma, P., & Kashyap, R. (2024) · Frontiers in Health Services

Information and Cyber SecurityPatient Safety and Medication Errors

Cited by 3

AutoPenBench: Benchmarking Generative Agents for Penetration Testing

Gioacchini, L., Mellia, M., Drago, I., Delsanto, A., Siracusano, G., & Bifulco, R. (2024) · arXiv

Web Application Security VulnerabilitiesAdversarial Robustness in Machine Learning

Cited by 3

InstructEdit: Instruction-Based Knowledge Editing for Large Language Models

Zhang, N., Tian, B., Cheng, S., Liang, X., Hu, Y., Xue, K., Gou, Y., Chen, X., & Chen, H. (2024) · Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence

Domain Adaptation and Few-Shot LearningTopic Modeling

Cited by 3

From Internet of Things to the Virtual Continuum: An architectural view

Minerva, R. (2014) · 2014 Euro Med Telco Conference (EMTC)

IoT and Edge/Fog ComputingDigital Transformation in Industry

Cited by 3

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Lin, Y., Tang, S., Lyu, B., Wu, J., Lin, H., Yang, K., Li, J., Xia, M., Chen, D., Arora, S., et al. (2025) · arXiv

Mathematics, Computing, and Information ProcessingLogic, programming, and type systems

Cited by 3

Question Answering over Tabular Data with DataBench: A Large-Scale Empirical Evaluation of LLMs

Osés Grijalba, J., Ureña-López, L. A., Martínez Cámara, E., & Camacho-Collados, J. (2024) · Proceedings of the Language Resources and Evaluation Conference

Topic ModelingMultimodal Machine Learning Applications

Cited by 3