Computer Science

Ask about this topic

Momentum

2 papers in the last four weeks, against 1 the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 26

All topics
CardsList

  1. TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science

    Sep 28, 2026Chutong Yang, Xiyuan Zhang, Yu Huang +7Theorem ProvingProof

    Department of Computer Science, The University of Texas at Austin · Amazon · Department of Statistics and Data Science, The Wharton School, University of Pennsylvania

  2. Cognitive Skills in the Age of AI: Computing Students and Experts Perceptions

    Sep 25, 2026Neha Rani, Vu Minh Anh Le, Austin M. Spangler +1Artificial Intelligence LiteracyComputer Science

    Computer Science University of Florida · Epidemiology University of Florida

  3. RATIO: A Benchmark for Retrieval Across Typed Ideation Operations in Scientific Literature

    Aug 27, 2026Maayan Sharon, Tom HopeScientific IdeationRetrievers

    The Hebrew University of Jerusalem · The Allen Institute for AI (AI2)

  4. CourseGraph: Finding overlaps and differences in Computer Science courses across universities

    Aug 6, 2026Arthur Nijdam, Paul Stankovski Wagner, Sara RamezanianComputer ScienceCurriculum

    Dept. of Electrical & Information Technology · Lund University · Lund, Sweden +3

  5. Integrating AI into Requirements Quality Learning in Software Engineering Education: A TPACK-Guided Empirical Study

    Jul 30, 2026Hansika Ekanayake Mudiyanselage, Rohan Jai Dharmaraj, Malik Abdul Sami +1Computer ScienceMulti-Model Study

    Software Engineering Research Center (TASE), Tampere University, Finland

  6. Did Alice Do Wrong? Cross-Cultural Differences in Student Perceptions of Generative AI Use in University Computing Education

    Jul 22, 2026Brian Harrington, Irina Zlotnikova, Gayathri Nadarajan +1Cross-Cultural VariationAcademic Integrity

    University of Toronto Scarborough, Toronto, Ontario, Canada · School of Pure and Applied Sciences, Botswana International University of Science and Technology, Palapye, Botswana · Sungkyunkwan University, Jongno-gu, Seoul, Korea (the Republic of) +1

  7. Assessment in Team Problem-Solving Exercises in Computing Education

    Jul 21, 2026Valdemar Švábenský, Jan Vykopal, Sukrit Leelaluk +3Computerized Adaptive TestingComputer Science

    Faculty of Informatics Masaryk University Brno, Czech Republic · Center for ICT Infrastructure Yamaguchi University Yamaguchi, Japan · Graduate School of Information Science and Electrical Engineering, Kyushu University Fukuoka, Japan

  8. CS-ETS: Chaos-Inspired Samba-Based EMG-To-Speech Synthesis with Nonlinear Chaotic Losses

    Jul 21, 2026Sajid Fardin Dipto, Tarikul Islam Tamiti, David Vergano +2Speech SynthesisChaos

  9. A Comparative Analysis of Institutional and Course Generative AI Policies within Higher Education: Implications for Instruction in Computing Education

    Jul 14, 2026Amrita Ganguly, Aditya Johri, Nora McDonald +3Computer ScienceEu Artificial Intelligence Act

    George Mason University Fairfax, VA, USA · Montgomery College Rockville, MD, USA

  10. Programming Language Policy as an AI Literacy Equity Problem: A 15-Nation Comparative Analysis

    Jul 13, 2026Adrian-Marius Dumitran, Iulia-Maria PopescuArtificial Intelligence LiteracyComputer Science

    University of Bucharest, Faculty of Mathematics and Computer Science, Bucharest, Romania

  11. CogTax: A Four-Level Cognitive Taxonomy for Command-Line Computing Education

    Jun 30, 2026Manuel Alonso-Carracedo, Ruben Fernandez-Boullon, Pedro Celard +2TaxonomyPedagogical Frameworks

    Universidade de Vigo, Spain · IFCAE, Universidade de Vigo, Spain · aComputer Science Department, IFCAE-Instituto de Investigación en Física, Computación y Ciencia Aeroespacial, Universidade de Vigo, Ourense, 32004, Spain +1

  12. Exploring the Value of Diverse LLM Explanations in Introductory Programming

    Jun 27, 2026Seth Bernstein, Paul Denny, Juho Leinonen +4Ai-Assisted Programming TasksComputer Science

    Temple University Philadelphia, PA, United States · University of Auckland Auckland, New Zealand · Aalto University Espoo, Finland

  13. Who Plays Which Role When? Communication Role Dynamics for Peer Recognition and Team Performance Prediction

    Jun 26, 2026Yifan Song, Wenxuan Wendy Shi, Brian P Bailey +1RoleTaxonomy

    University of Illinois Urbana-Champaign · California Polytechnic State University, Pomona

  14. Theory-Scale Auto-Formalization of Logics for Computer Science

    Jun 25, 2026Yuming Feng, Frederick Pu, One An +5AutoformalizationFormal Verification

    Johns Hopkins University · University of Toronto · University of Pennsylvania +1

  15. Measuring Curriculum Alignment across Topical Coverage, Competency, and Cognitive Depth: A Longitudinal Framework Applied to CS2013 and CS2023

    Jun 17, 2026Sherzod Turaev, Mary John, Saja Aldabet +3Computer ScienceCurriculum

    Dept. of Computer Science and Software Engineering College of Information Technology, United Arab Emirates University Al Ain, Abu Dhabi, UAE · Academic Support Department Abu Dhabi Polytechnic Abu Dhabi, UAE

  16. Toward AI-Resilient Assessment in Computer Science Courses in an AI-Native World

    Jun 16, 2026Anshumali ShrivastavaComputer ScienceComputerized Adaptive Testing

    Department of Computer Science, Rice University

  17. An Integrated System for Real-Time Student Assessment and Career Guidance Using Neural Networks in Computing Disciplines

    Jun 14, 2026Sakir Hossain Faruque, Md. Jubair Hossain, Sharun Akter KhushbuComputer ScienceStudent

    Department of Computer Science and Engineering, Daffodil International University, Dhaka-1216, Bangladesh · Department of Electrical and Electronic Engineering, Barishal Engineering College, Barishal, Bangladesh

  18. Thinking Outside the [Chat]Box: Bridging Computer Science and Industrial Design for Cognitive-Inclusive Generative AI

    Jun 12, 2026Virginia Francisco, Daniel Guasch, Raquel HervásGenerative Artificial IntelligenceCo-Design

    Facultad de Inform´atica Universidad Complutense de Madrid Madrid, Spain · Universitat Polit`ecnica de Catalunya Villanova i la Geltru, Spain · Instituto de Tecnolog´ıa Del Conocimiento Universidad Complutense de Madrid Madrid, Spain

  19. Culturally-Aware AI for Cross-Boundary Community Learning: Undergraduate Innovation at the Intersection of Computation and Design

    Jun 8, 2026Jiaojiao Zhao, Weisheng Zhang, Jiawen Cai +2Artificial Intelligence EducationComputer Science

    Duke Kunshan University, Suzhou, China · Zhouzhuang Mystery of Life Museum, Suzhou, China · Digital Innovation Research Center and Social Science Division, Duke Kunshan University. Address: Duke Avenue No.8, Kunshan, Suzhou, Jiangsu, China, 215316.

  20. Equilibria in Multiplayer Graph Games: An Algorithmic Study

    May 19, 2026Léonard BriceNash EquilibriumImperfect-Information Games

    thèse présentée par Léonard Brice

  21. AI-Automation Tooling in Computer Engineering Education: Mixed-Methods TAM/UTAUT Evidence for a General Acceptance Attitude

    May 10, 2026Aung PyaeComputer ScienceSoftware Engineering

    International School of Engineering, Faculty of Engineering Chulalongkorn University, Thailand

  22. Evaluating Large Language Models on Computer Science University Exams in Data Structures

    Apr 25, 2026Edan Gabay, Yael Maoz, Jonathan Stahl +7Computer ScienceOpenai

    Blavatnik School of Computer Science and AI

  23. AI-Assisted Code Review as a Scaffold for Code Quality and Self-Regulated Learning: An Experience Report

    Apr 25, 2026Eduardo Oliveira, Michael Fu, Patanamon Thongtanunam +2Code QualityComputer Science

    The University of Melbourne Melbourne, Australia · University of Eastern Finland Joensuu, Finland

  24. LLMs versus the Halting Problem: Characterizing Program Termination Reasoning

    Jan 26, 2026Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli +4Formal VerificationLLM Reasoning Strategies

    1Meta FAIR · 3Bloomberg, New York, USA · 4Imperial College London, UK +2

  25. LLM-Generated or Human-Written? Comparing Review and Non-Review Papers on ArXiv

    Jan 19, 2026Yanai Elazar, Maria AntoniakPeer ReviewReview

    Bar-Ilan University · University of Colorado Boulder

  26. A Comparative Study of Student Perspectives on Technical Writing Feedback Quality: Evaluating LLMs, SLMs, and Humans in Computer Science Topics

    Dec 1, 2025Suqing Liu, Runlong Ye, Christopher Eaton +2Computer ScienceAi-Assisted Programming Tasks

    McMaster University, Hamilton, Ontario, Canada · Department of Computer Science, University of Toronto, Toronto, Ontario, Canada · Research Institute for the Study of University Pedagogy, University of Toronto Mississauga, Mississauga, Ontario, Canada +1