Papers
12,718 papers found
Efficient Verification and Falsification of ReLU Neural Barrier Certificates
Dejin Ren, Yiling Xue, Taoran Wu et al.
iSeal: Encrypted Fingerprinting for Reliable LLM Ownership Verification
Zixun Xiong, Gaoyi Wu, Qingyang Yu et al.
HTN Plan Verification by Qualitative Temporal Reasoning
Tobias Schwartz, Diedrich Wolter
Coarse-to-Fine Open-Set Graph Node Classification with Large Language Models
Xueqi Ma, Xingjun Ma, Sarah Monazam Erfani et al.
Refine and Align: Confidence Calibration Through Multi-Agent Interaction in VQA
Ayush Pandey, Jai Bardhan, Ishita Jain et al.
Mind the Gap: Quantifying and Aligning Human-AI Visual Attention for Accident Anticipation
Hoe Sung Ryu, Christian Wallraven
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.
Can LLMs Identify Tax Abuse?
Andrew Blair-Stanek, Nils Holzenberger, Benjamin Van Durme
Measuring Model Performance in the Presence of an Intervention
Winston Chen, Michael W. Sjoding, Jenna Wiens
Scientifically-Interpretable Reasoning Network (ScIReN): Discovering Hidden Relationships in the Carbon Cycle and Beyond
Joshua Fan, Haodi Xu, Feng Tao et al.
Building Instance Segmentation for Dense Urban Settlements
Adnan Firoze, Raymond A. Yeh, Daniel Aliaga
Beyond Detection: Exploring Evidence-based Multi-Agent Debate for Misinformation Intervention and Persuasion
Chen Han, Yijia Ma, Jin Tan 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
Sensor Model Identification via Simultaneous Model Selection and State Variable Determination (Abstract Reprint)
Christian Brommer, Alessandro Fornasier, Jan Steinbrener et al.
Optimizing Product Provenance Verification Using Data Valuation Methods
Raquib Bin Yousuf, Hoang Anh Just, Shengzhe Xu et al.
LLM-Enabled Scientific Knowledge Diffusion Analysis
Uttam Rao, Madhav Marathe
Explanations for Sequential Decision-Making – an Overview
Hendrik Baier, Mark T. Keane, Sarath Sreedharan et al.
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
Weight Entropy-Maximised Evidential Metamodel for Uncertainty Quantification (Student Abstract)
Gouranga Bala, Abhimanyu Chauhan, Amit Sethi
Style-First Authorship Verification for Academic Integrity in the Generative AI Era (Student Abstract)
Jun Jang, Thai Le, Bo Wang