Search

Search Results

• Restraining Bolts for Reinforcement Learning Agents

  Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi

  13659-13662

  2020-04-03

• Teaching Constraint Programming Using Fable-Based Learning

  Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H.M. Lee, Peter J. Stuckey

  13366-13373

  2020-04-03

• SAGE: A Compositional Multi-Agent LLM Framework with Pedagogical Reasoning for Structured Collaborative Problem Solving

  Van-Khanh Tran, Van-Khai Dang, Duc-Huy Nguyen

  40872-40879

  2026-03-14

• Towards a Common Framework for Autoformalization

  Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis

  40971-40980

  2026-03-14

• Object-Centric Data Synthesis for Category-level Object Detection (Student Abstract)

  Vikhyat Agarwal, Jiayi Cora Guo, Declan Hoban, Sissi Zhang, Nicholas Moran, Peter Cho, Srilakshmi Pattabiraman, Shantanu Joshi

  41110-41112

  2026-03-14

• Robust Adaptive Multi-Step Predictive Shielding (Student Abstract)

  Tanmay Ambadkar, Darshan Chudiwal, Greg Anderson, Abhinav Verma

  41121-41123

  2026-03-14

• Weight Entropy-Maximised Evidential Metamodel for Uncertainty Quantification (Student Abstract)

  Gouranga Bala, Abhimanyu Chauhan, Amit Sethi

  41126-41128

  2026-03-14

• 3D Gaussian Splatting for Reconstructing Large Sparse Environments (Student Abstract)

  Jonathan Boel Nielsen, Xuan Huy Pham, Erdal Kayacan, Andriy Sarabakha

  41134-41136

  2026-03-14

• Network Restoration Games with Quotas (Student Abstract)

  Philip Bogaars, Argyrios Deligkas, Eduard Eiben, Michail Fasoulakis

  41137-41139

  2026-03-14

• Always Refuse: Steering LLMs Against Jailbreaks with Contrastive Activations (Student Abstract)

  Abhilekh Borah, Niranjan Chebrolu, Kokil Jaidka

  41140-41142

  2026-03-14

• IMPACT: Integrated Multimodal Pipeline for Rapid Accident Causality Tracking (Student Abstract)

  Vashu Chauhan, Avinash Anand, Manisha Luthra, Uelison Jean Lopes dos Santos, Carsten Binnig, Rajiv Ratn Shah

  41159-41161

  2026-03-14

• TWiST: Temporal Weakly-Supervised Triplets Recognition in Surgical Videos (Student Abstract)

  Pranshu Danani, Yash Bansal, Parshiv Kapoor

  41174-41176

  2026-03-14

• How Good Are Inducing Points for Dataset Distillation? (Student Abstract)

  Shrutimoy Das

  41177-41179

  2026-03-14

• Graph Neural ODEs with Stability and Conservation Guarantees for Tumor Microenvironment Dynamics (Student Abstract)

  Luong Doan, Tien Nguyen, Nhung Duong, Lap Nguyen, Tuan Do

  41194-41196

  2026-03-14

• Game-Theoretic Simulations Meet AI: Fast Policy Recommendations Under Data Scarcity (Student Abstract)

  Phuong-Anh Duong, Luong-Ngoc-Anh Vu, Binh Nguyen Thi

  41200-41202

  2026-03-14

• Style-First Authorship Verification for Academic Integrity in the Generative AI Era (Student Abstract)

  Jun Jang, Thai Le, Bo Wang

  41234-41235

  2026-03-14

• Strategic Tool Enhanced AI Agent for Multi-Issue Negotiation (Student Abstract)

  Daiki Kitashima, Ryota Higa, Katsuhide Fujita

  41246-41248

  2026-03-14

• I Know Where You Are Coming From: On the Impact of Social Media Sources on AI Model Performance (Student Abstract)

  Yang Qi, Farseev Aleksandr, Filchenkov Andrey

  13971-13972

  2020-04-03

• SHARE: Synthesizing Heterogeneous Autism-support Records into Evidence-based Recommendations

  Saumya Chauhan, Mila Hong

  41556-41558

  2026-03-14

• Federated Learning Playground

  Bryan Shan Guanrong, Alysa Ziying Tan, Han Yu

  41589-41591

  2026-03-14

• TPR: A Training Procedure Representation to Augment XR Simulations with LLMs

  Michael Guevarra, Christabel Wayllace, Srijita Das, Carrie Demmans Epp, Alan Tay

  41592-41594

  2026-03-14

• 3D4D: An Interactive, Editable, 4D World Model via 3D Video Generation

  Yunhong He, Zhengqing Yuan, Zhengzhong Tu, Yanfang Ye, Lichao Sun

  41595-41597

  2026-03-14

• GeoProblem Factory: A Visual Interaction System for Solvable and Controllable Geometric Problem Generation by Leveraging Symbolic Deduction Engine

  Zhuoxuan Jiang, Yanpeng Li, Tianyang Zhang, Jing Chen, Yong Li, Mo Guang, Wen Si, Shaohua Zhang

  41613-41615

  2026-03-14

• AEGIS: Toward Expert-in-the-loop Industrial Anomaly Detection

  Dongmin Kim, Ye Seul Sim, Suhee Yoon, Sanghyu Yoon, Seungdong Yoa, Soonyoung Lee, Woohyung Lim

  41619-41621

  2026-03-14

• DS SERVE: A Framework for Efficient and Scalable Neural Retrieval

  Jinjian Liu, Yichuan Wang, Xinxi Lyu, Rulin Shao, Joseph E. Gonzalez, Matei Zaharia, Sewon Min

  41631-41633

  2026-03-14