Cornell AI Research Papers
80 recent artificial intelligence research papers authored by Cornell University faculty and affiliates, drawn from arXiv, newest first.
80 listed
-
Comparison of Two Deep Learning Models and Their Combination for 1-year Lung Cancer Detection in Two Screening Cohorts2026-11-05Anthony P. Reeves
-
Discovering Hierarchy-Grounded Domains with Adaptive Granularity for Clinical Domain Generalization2026-11-03Fei Wang
-
Do Large Language Models have Lateral Thinking in Puzzle-Solving Games?2026-11-03Yuyan Chen
-
How to Define Expected Quantum Polynomial-Time Zero Knowledge Simulation2026-11-03Zhengnan Lai, Nicholas Spooner, Max Tromanhauser
-
cover-time: Lean formalization of How Hard Is It to Compute Cover Time?2026-11-03Ryan Aghazadeh
-
Settlers of Catan Recording Protocol2026-11-01A. P. D. G. Everett
-
Step-dLLM: Adaptive Step-aware Sparse Attention for Efficient Diffusion LLM Inference2026-10-31Chi-Chih Chang
-
From Words to Widgets for Controllable LLM Generation2026-10-31Chao Zhang
-
Narrative Keyframing for Generative Creative Writing2026-10-31Chao Zhang, Abe Davis
-
How selecting representative training sites and features can improve machine learning models of hydrothermal resource favorability2026-10-31Pascal Caraccioli
-
SolidFL demonstration: ontology-driven federated learning over Solid pods for cross-laboratory bovine respiratory disease surveillance (DECIDE Work Package 1)2026-10-30Miel Hostens
-
Software and Dataset for "Automating the Goal and Scope Phase of Agricultural Life Cycle Assessment Using Encoder-Classifier Benchmarking"2026-10-29Fengqi You
-
Reinforcement Learning Under Runtime Confounding: Policy Learning and Off-Policy Evaluation2026-10-29Raphael Kim, Ramin Zabih A
-
Geometric Rényi divergence and RLD Fisher information under quantum processes without definite causal order2026-10-29Mark M. Wilde
-
Berry curvature dipole circuit quantum electrodynamics2026-10-29Valla Fatemi
-
A New Amphibious Earthquake Catalog for the Alaska Peninsula: Training, Testing, and Applying Machine Learning Earthquake Picking in Offshore and Amphibious Environments2026-10-28C. G. Barcheck
-
Using Bars to Push the Limits of Computability2026-10-26Mark Bickford, Robert L. Constable
-
Model Selection for Off-Policy Evaluation via Pairwise Bellman Validation2026-10-26Nathan Kallus
-
How Humans Learn Unfamiliar Worlds: A Think-Aloud Dataset on ARC-AGI-32026-10-25Kevin Ellis
-
EvolveMAS: A Unified Self-Evolution Framework for Decentralized Multi-Agent Systems2026-10-25Zheqi Lv
-
What Effort Level Should I Choose? On the Economics of Reasoning Effort in LLM Agents2026-10-25Kaitlyn Zhou
-
How To Build A Modern Diffusion Language Model2026-10-24Volodymyr Kuleshov, Marianne Arriola, Gilad Turok, Guanghan Wang
-
A Factor Model Based Time-Varying Auto-Align Overlapping Clustering2026-10-23Yang Ning
-
Reinforcement Learning with Multi-Step Transition Predictions: A Bellman Theory2026-10-23Chenbei Lu
-
Resist-Free Shadow Deposition Using Silicon Trenches for Josephson Junctions in Superconducting Qubits2026-10-22Tathagata Banerjee, Stephen D. Funni, Saswata Roy, Judy J. Cha, Valla Fatemi
-
Towards User Simulators That Stay On Task And Still Sound Natural2026-10-22Mustafa Omer Gul
-
One-shot entanglement generation and distillation via Petz recovery and binary hypothesis testing2026-10-22Matthew Can, Mark M. Wilde
-
A Mathematical Theory of the Jacobian Lens2026-10-22Toni Liu
-
Incorporating natural language processing-derived features from pathology reports into machine learning models to predict differentiated thyroid cancer recurrence2026-10-21Grace Deng, David S. Matteson
-
Synthetic Selves for AI Agents? Lessons from Psychology for Agent-Based Modeling2026-10-20Astghik Altunyan, Shimon Edelman
-
Evolving Agent Interfaces2026-10-20Gonzalo Gonzalez-Pumariega
-
Strict Equality in Higher Identity Types: Axioms, Completeness, Decidability2026-10-20Keri D’Angelo, Liron Cohen, Luke Serafin, Dexter C. Kozen
-
From Qubit Tensorization to Gaussian Optimizers in Bosonic Systems2026-10-20Hami Mehrabi
-
Privacy Preserved and Practical Implementation for Distributed Machine Learning in Radiology2026-10-19Arhan Choudhury
-
Nonlinear Dynamical Systems as Scalable and Efficient Physical Neural Networks2026-10-15Maxwell Anderson, Haoting Zhen, Tatsuhiro Onodera, Peter L. McMahon
-
CASE-RAG: Certified Action Selection and Escalation for Retrieval-Augmented Generation2026-10-12Ranjan Sapkota
-
A Fast Quantitative Analyzer for NetKAT (Artifact)2026-10-12Qiancheng Fu, Thomas Lu, Kevin Batz, Mark Moeller
-
A SymPL Program Logic for Geometric Numerical Integrators Artifact2026-10-12Vaibhav Mehta
-
FaciliTrain: Practicing Facilitation Skills through AI-Simulated Group Dialogue2026-10-09Yuanxin Zhu
-
Rooftop photovoltaic potential in data-scarce regions using open-source geospatial information: Scenario-based approach for a Mediterranean coastal city2026-10-09Azim Doğuş Tuncer
-
Multidimensional Seismic Event Structure2026-10-09Thomas Urban
-
Error semitransparent universal control of a bosonic logical qubit2026-10-08Saswata Roy, Owen C. Wetherbee, Valla Fatemi
-
Verifying $$\varepsilon $$-Differential Privacy Bit by Bit2026-10-06Zachary J. Susag, Justin Hsu
-
Explainable artificial intelligence for secure and privacy-preserving 5 G networks2026-10-06Hongyu Shen
-
silx-kit/silx: 3.1.3: 2026/10/062026-10-06Thomas J. Fuchs
-
Agreement Is Not Validity: Cross-Model LLM Consensus in Diagnosing Student Failure Modes in K-12 Math Tutoring Dialogue2026-10-06Clayton Cohn, Kirk Vanacore, René F. Kizilcec
-
A Testable Theory of Atomic Features2026-10-05Kenny Peng, Jon Kleinberg, Nikhil Garg
-
The Arbitrary-Placement Problem in Entropy-Minimizing Selection, and a Residual-Entropy Formulation2026-10-05Claire H. Shin
-
From Written Response to Dialogue with AI: How Activity Format, Interaction Modality, and Language Impact Student Learning and Engagement2026-10-05Deepak Varuvel Dennison, Connie Zhang, René F. Kizilcec, Aditya Vashistha
-
FinGovBench: Evaluating Governance Contracts for Financial AI Agent2026-10-04Miquel Noguer I Alonso
-
FinGovBench: Evaluating Governance Contracts for Financial AI Agent2026-10-04Miquel Noguer I Alonso
-
Entanglement-of-formation potentials for feedback-assisted classical communication and randomness distillation2026-10-04Mark M. Wilde
-
SALUS: Automated Auditing of NL-to-SQL Benchmarks through Weak Supervision of Multi-Agent Output2026-10-04Sharad Mehrotra
-
Fast Random Compilers for Time-Dependent and Time-Independent Lindbladian Simulation2026-10-04Dhrumil Patel, Mark M. Wilde
-
When Verifiable Counts Depend on Wording: Auditing Wording Robustness in Instruction Following2026-10-04Minxuan Hu
-
A KKL Observer Perspective on Reservoir Computing2026-10-03Fernando Castaños, Jaime A. Moreno
-
Symmetry-preserving quantum compilation2026-10-02Michael J. Lawler
-
Beyond Correctness: Resolving Underspecification in Agentic Text-to-SQL2026-10-02Wen-Zhi Li, Yue Gong, Konstantinos Kanellis
-
The QICK Box: A Modular RF Front-End System for Quantum Control and Readout2026-10-02J. Christiansen-Salameh
-
Optimality of delayed reward attainment under uncertainty2026-10-02Chuwei Wang, Alexander Vladimirsky, Anastasia Bizyaeva
-
Large Language Continuous Diffusion Models2026-10-02Zhihan Yang, John Thickstun
-
Wiener Space Cubature for Nonlinear Gaussian Filtering2026-10-02Luke Snow
-
Type-Directed Discretization of Probabilistic Programs2026-10-01K. Wu, Alexandra Silva
-
Clock Diffusion: Efficient Semi-Autoregressive Continuous Diffusion Language Models2026-10-01Yair Schiff, Omer Belhasin, Roy Uziel, Matan Rusanovsky, Ran Zilberstein, Marianne Arriola, Gilad Turok, Guanghan Wang, Volodymyr Kuleshov, Michael Elad
-
SoftServe: A Scalable Quasi-Newton Method for Deep Learning2026-10-01Diana Cai
-
Denario Project: Deep Knowledge Artificial Intelligence Agents for Scientific Discovery2026-10-01Pablo Cárdenas Ramírez, Osman Mamun, Shuwen Yue
-
The Surprising Effectiveness of Shared Memory in Looped Transformers2026-10-01Giovanni Monea, Yoav Artzi, Nathan Godey
-
Two-Sided Product Expanding Codes via Rademacher Matrices2026-10-01Eshan Chattopadhyay, Noam Ringach, Nicholas Spooner
-
Computational Bounds for $f$-Routing2026-09-30Oren Renard, Nicholas Spooner
-
Finite-blocklength classical communication over the quantum erasure channel with and without classical feedback2026-09-30Mark M. Wilde
-
Frustration Free Stoquastic Local Hamiltonian with Sub-Constant Gap is in NP2026-09-30Eshan Chattopadhyay, Oren Renard, Nicholas Spooner
-
Tight Post-Quantum Parallel Repetition for Private-Coin Arguments2026-09-30Nicholas Spooner
-
Tight Post-Quantum Parallel Repetition for Private-Coin Arguments2026-09-30Nicholas Spooner
-
On Removing Interaction from Quantum Proofs2026-09-29Nicholas Spooner
-
BRIDGE: Bilevel Retrieval-Credit-Aware Agentic Reinforcement Learning2026-09-29Quan Xiao, Tianyi Chen
-
Examining Variation in How Guided AI Tutors Resolve Student Impasses2026-09-29Bakhtawar Ahtisham, Kirk Vanacore, Ksenia Ionova, Clayton Cohn, René F. Kizilcec
-
Shifting Mechanisms: How Positional Encoding Choice Shapes In-Context Retrieval2026-09-29Eric Enouen, Sainyam Galhotra
-
Causal and Interpretable Structures in LLM Compositional Tasks2026-09-28Gurbir Arora, Toni J. B. Liu, Jiajun Bao, Raphaël Sarfati, Christopher Earls
-
Action Chunking Proximal Policy Optimization with Feedback Correction2026-09-28Sanghyun Hahn
-
Projection-Free Algorithms for Nonsmooth Stochastic Convex-Concave Saddle-Point Problems2026-09-28Khanh-Hung Giang-Tran, Soroosh Shafiee