Human-in-the-Loop AI

Latest papers 173

All topics
CardsList
  1. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

    Apr 24, 2026Jordan Meadows, Lan Zhang, Andre FreitasHuman-in-the-Loop AIAgentic Code Generation

  2. Hi-WM: Human-in-the-World-Model for Scalable Robot Post-Training

    Apr 23, 2026Yaxuan Li, Zhongyi Zhou, Yefei Chen +5Robot Policy LearningRobot Policy Adaptation

  3. Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs

    Apr 22, 2026Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi +2Explainable Artificial IntelligenceHuman-in-the-Loop AI

  4. pAI/MSc: ML Theory Research with Humans on the Loop

    Apr 22, 2026Mahmoud Abdelmoneum, Pierfrancesco Beneventano, Tomaso PoggioMulti-Agent LLM SystemsAI-Assisted Scientific Research

  5. Auditing and Controlling AI Agent Actions in Spreadsheets

    Apr 22, 2026Sadra Sabouri, Zeinabsadat Saghi, Run Huang +4Human-in-the-Loop AIAI Agent Monitoring

  6. From Fuzzy to Formal: Scaling Hospital Quality Improvement with AI

    Apr 21, 2026Patrick Vossler, Jean Feng, Venkat Sivaraman +9Human-in-the-Loop AIAutomatic Prompt Optimization

  7. BONSAI: A Mixed-Initiative Workspace for Human-AI Co-Development of Visual Analytics Applications

    Apr 21, 2026Thilo Spinner, Matthias Miller, Fabian Sperrle-Roth +1Multi-Agent CollaborationHuman-in-the-Loop AI

  8. CoAct: Co-Active LLM Preference Learning with Human-AI Synergy

    Apr 19, 2026Ruiyao Xu, Mihir Parmar, Tiankai Yang +3RL for Language ModelsLLM Alignment

  9. An AI Co-Data-Scientist for Prioritizing Candidate Biomarkers from Wearable Sensor Data

    Apr 16, 2026Yubin Kim, Salman Rahman, Samuel Schmidgall +33AI Agents for Scientific DiscoveryScientific Discovery

  10. GDPR Auto-Formalization with AI Agents and Human Verification

    Apr 16, 2026Ha Thanh Nguyen, Wachara Fungwacharakorn, Sabine Wehnert +6Human-in-the-Loop AI

  11. A Multi-Agent Human-LLM Collaborative Framework for Closed-Loop Scientific Literature Summarization

    Apr 1, 2026Maxwell J. Jacobson, Daniel Xie, Jackson Shen +6Multi-Agent LLM SystemsAI-Assisted Scientific Research

  12. EviSearch: Trustworthy Extraction and Synthesis of Clinical Trial Evidence with Agents that Improve with Use

    Mar 23, 2026Naman Ahuja, Abhijit Chakraborty, Muhammad Ali Khan +4AI-Assisted Scientific ResearchHuman-in-the-Loop AI

  13. Delegation and Verification Under AI

    Mar 3, 2026Lingxiao Huang, Wenyang Xiao, Nisheeth K. VishnoiHuman-in-the-Loop AIHuman-AI Decision Making

  14. Exploring Plan Space through Conversation: An Agentic Framework for LLM-Mediated Explanations in Planning

    Mar 2, 2026Guilhem Fouilhé, Rebecca Eifler, Antonin Poché +2Multi-Agent LLM SystemsExplainable Artificial Intelligence

  15. MOSAIC: A Universal Agent-Level Interface for Cross-Paradigm Agent Mixing and Human-AI Collaboration

    Mar 1, 2026Abdulhamid M. Mousa, Jinhui Pang, Rakhmonberdi Khajiev +5AI Agent EvaluationAgent Evaluation

  16. A Collaborative Reasoning Framework for Anomaly Diagnostics in Underwater Robotics

    Nov 4, 2025Markus Buchholz, Niamh Ellis, Rahaf Abu Hara +2RoboticsHuman-in-the-Loop AI

  17. Robotic Ultra-Long-Horizon Manipulation Skills via Human-guided Lifelong Code Generation

    Sep 23, 2025Yuan Meng, Zhenguo Sun, Max Fest +4Long-Horizon Robotic ManipulationRobot Skill Learning

  18. Vis-CoT: A Human-in-the-Loop Framework for Interactive Visualization and Intervention in LLM Chain-of-Thought Reasoning

    Sep 1, 2025Kaviraj Pather, Elena Hadjigeorgiou, Arben Krasniqi +4LLM InterpretabilityHuman-in-the-Loop AI

  19. Ultra Strong Machine Learning: LLM-Generated Explanations Do Not Yet Suffice for Teaching Humans Active Learning Strategy

    Aug 31, 2025Lun Ai, Johannes Langer, Ute Schmid +1Active LearningHuman-in-the-Loop AI

  20. iTeach: In the Wild Interactive Teaching for Failure-Driven Adaptation of Robot Perception

    Oct 1, 2024Jishnu Jaykumar P, Cole Salvato, Vinaya Bomnale +4Continual LearningHuman-in-the-Loop AI