Prof. John Mitchell — Research Profile
Stanford University · Computer Science
About
Prof. John Mitchell at Stanford University Computer Science lists Security, Formal Methods as their registered research area.
Research keywords
Recent papers
- Tracking Borrows with Regular ExpressionsProceedings of the ACM on Programming Languages · Oct 1
- How AI Coders Discuss, Disagree, and Reach Consensus: Challenges and Opportunities for LLM-Based Qualitative CodingNewPreprintarXiv (Cornell University) · Sep 10
- Social Skill Training With Large Language ModelsNewIEEE Intelligent Systems · Sep 1
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Sergey Levine 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
One Frozen Simulator Is Not Enough: Simulator Collapse in Multi-Agent RLPreprintarXiv (Cornell University) · Aug 12Shared topic: Intelligent Tutoring Systems and Adaptive Learning
Text Information Management and Analysis Research (TIMAN)
University of Illinois Urbana-Champaign · Computer Science
StudentSim: Training LLM-based Student SimulatorsPreprintarXiv (Cornell University) · Sep 1Shared topic: Intelligent Tutoring Systems and Adaptive Learning
Dirk Englund 교수 연구실
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum MechanicsNewPreprintarXiv (Cornell University) · Sep 4Shared topic: Logic, programming, and type systems
Other labs in this department
- Adam Bouland 교수 연구실
Theoretical Computer Science
- Alex Aiken 교수 연구실
Theoretical Computer Science
- Anshul Kundaje 교수 연구실
Computational Biology
- Azalia Mirhoseini 교수 연구실
Machine Learning
- Balaji Prabhakar 교수 연구실
Networks
- Carlos Guestrin 교수 연구실
Machine Learning