Cornell AI Research Papers
80 recent artificial intelligence research papers authored by Cornell University faculty and affiliates, drawn from arXiv, newest first.
80 listed
-
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
-
Log-Euclidean Rényi Conditional Mutual Information2026-09-28Mark M. Wilde
-
Provable Benefits of Regularization: Fast Rates for Adversarial Imitation Learning2026-09-28Alexander Braverman
-
Sublinear Copies Suffice for Fidelity Estimation with Pauli Measurements2026-09-28Jayadev Acharya, Abhilash Dharmavarapu
-
Writing the Situated Self: Intersectional and Geographic Patterning in College Admissions Essays2026-09-28AJ Alvero
-
Aristotle: IMO-level Automated Theorem Proving2026-09-25Daniel Halpern-Leistner
-
ShapKO: Shapley-Adaptive Modality Knockout for Robust Multimodal Learning2026-09-24Nusrat Binta Nizam, Fengbei Liu, Sunwoo Kwak, Minh Nguyen, Ruining Deng, Mert Rory Sabuncu
-
MORI-Seg: Learning Morphological Geometry for Instance Segmentation Without Instance Annotations2026-09-24Xinzi He, Yuechen Yang, Mert Rory Sabuncu, Yihe Yang, Ruining Deng
-
Creating Group Rules with AI: Human-AI Collaboration in WhatsApp Moderation2026-09-23Gauri Nayak, Farhana Shahid, Aditya Vashistha
-
Rule Development in Online Communities Amidst Growth and Generative AI2026-09-23Andy Zhao, Mor Naaman
-
String-breaking dynamics in a quantum simulator2026-09-23Or Katz
-
Uncoded Clinical Features from Multilingual Electronic Health Records in Catalonia: Development and Validation Study2026-09-22Silvia Fernández-García
-
Humanlike AI May Strengthen Women’s Agreement With Sexist Stereotypes2026-09-14Sterling Williams‐Ceci, Mor Naaman
-
On the convergence of the AAA algorithm2026-09-13Alex Townsend
-
Learning Communication-Conditioned Generative Policies for Decentralized Multi-Agent Collision Avoidance2026-09-13Prajwal Koirala, Mark Campbell
-
VGFM: Expressive Robot Policies via Dense Value Guidance in Flow Matching2026-09-13Prajwal Koirala, Mark Campbell
-
On the convergence of the AAA algorithm2026-09-10Alex Townsend
-
AnExplainable AI Engineering Framework for Claims-Only First-Stage Provider Audit Triage Using SHAP-Guided Hybrid Retrieval-Augmented Generation2026-09-10Hongyu Shen
-
On the convergence of the AAA algorithm2026-09-10Alex Townsend
-
Private Computation Space: Experience with Trusted Multi-Cluster Federated Learning for Agriculture2026-09-01Shuangyu Lei, Jacob Belding, Sam Mosher, Manushi B. Trivedi, Shivranjani Baruah, Liam Wickes-Do, Sijin Li, Kelly Robbins, Michael Gore, Margaret Frank, Steven W
-
Understanding Usage Intention and Behavior for a Health Chatbot: An Integrated Model Applied to Non-Latino, English-preferring Latino, and Spanish-preferring Latino Populations2026-09-01Melissa Frey, Ravi Sharaf
-
Large Language Models Persuade Without Planning Theory of Mind2026-09-01Ned Cooper
-
Privacy-Preserving Reinforcement Learning with One-Sided Feedback2026-09-01Lin William Cong
-
AI-enabled remote sensing reveals two urban rooftop PV adoption pathways: household vs. large-roof2026-08-30Yue Zhuo, Fengqi You
-
THE DATA APIARY: MICROCLIMATE VISUALIZATION AND KNIT MATERIAL TOOLS FOR APICULTURE COMMUNICATION2026-08-26Kobe Phillips
-
Learning Programs and Algorithms: Toward Efficient and Generalizable AI2026-08-26Hao Tang
-
_-VADA: A CLASS OF GRAMMATICAL INFERENCE ACTIVE LEARNING ALGORITHMS2026-08-26Annabel Baniak
-
Scaling the Efficiency of Large-Scale Learning with Structured Representations2026-08-26Albert Tseng
-
Knowledge-Centric AI for Learning and Reasoning in Space and Time: Applications in Computational Sustainability2026-08-26Joshua Fan
-
Adaptive Allocation of Compute Capacity in Large Language Models2026-08-26Woojeong Kim
-
Essays on Latent Variable Models2026-08-26Dingyi Li
-
Learning and Interpolating Green's functions learned from Data2026-08-26Harshwardhan Praveen
-
Data-Aware Algorithms for Secure and Efficient Machine Learning Systems2026-08-26Trishita Tiwari
-
LEGAL REASONING WITH SEARCH-AUGMENTED REINFORCEMENT LEARNING: A MULTI-TASK FRAMEWORK2026-08-26David Akinboro
-
EVALUATING AND DESIGNING SPEECH RECOGNITION2026-08-26Anna Seo Gyeong Choi