Papers
10,269 papers found
A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation
Francesco Doria, Francesco Percassi, Marco Maratea et al.
HTN Plan Verification by Qualitative Temporal Reasoning
Tobias Schwartz, Diedrich Wolter
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction
Marcel Vinzent, Holger Hermanns, Jörg Hoffmann
Coarse-to-Fine Open-Set Graph Node Classification with Large Language Models
Xueqi Ma, Xingjun Ma, Sarah Monazam Erfani et al.
Selective Weak-to-Strong Generalization
Hao Lang, Fei Huang, Yongbin Li
Tight Robustness Certification Through the Convex Hull of ℓ₀ Attacks
Yuval Shapira, Dana Drachsler-Cohen
Harnessing Diffusion-Generated Synthetic Images for Fair Image Classification
Abhipsa Basu, Aviral Gupta, Abhijnya Bhat et al.
From Woofs to Words: Towards Intelligent Robotic Guide Dogs with Verbal Communication
Yohei Hayamizu, David DeFazio, Hrudayangam Mehta et al.
Active Learning for Animal Re-Identification with Ambiguity-Aware Sampling
Depanshu Sani, Mehar Khurana, Saket Anand
All-Purpose Mean Estimation over R
Jasper C.H. Lee
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
Daxin Liu, Gerhard Lakemeyer
Optimizing Product Provenance Verification Using Data Valuation Methods
Raquib Bin Yousuf, Hoang Anh Just, Shengzhe Xu et al.
Building Domain-Specific Small Language Models via Guided Data Generation
Aman Kumar, Ekant Muljibhai Amin, Xian Yeow Lee et al.
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu et al.
Speaker Anonymization for Children's Oral Reading Assessment
Sandipan Dhar, Srikanth Raj Chetupalli, Preeti Rao
Toward Artificial Metacognition
Paulo Shakarian
Specification-Guided Reinforcement Learning
Tanmay Ambadkar
Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles
Abdelrahman Sayed Sayed
Adaptive Coopetition: Leveraging Coarse Verifier Signals for Resilient Multi-Agent LLM Reasoning (Student Abstract)
Rui Jerry Huang, Anastasia Miin, Wendy Liu
Style-First Authorship Verification for Academic Integrity in the Generative AI Era (Student Abstract)
Jun Jang, Thai Le, Bo Wang
Q-MoFusion: A Quantum Classifier for Masquito Species Classification (Student Abstract)
Vishesh Kumar, Ahana Chanda, Poulomi Bhattacharya et al.
RefLens: End-to-End Evidence-Grounded Citation Verification with LLM Agents
SeungHoo Lee, JuneHyoung Kwon, Jooweon Choi et al.
NumPert: Numerical Perturbations to Probe Language Models for Veracity Prediction
Peter Røysland Aarnes, Vinay Setty