Papers
438 papers found
Generalized Fast Exact Conformalization
Diyang Li
Neural Model Checking
Mirco Giacobbe, Daniel Kroening, Abhinandan Pal et al.
ACFun: Abstract-Concrete Fusion Facial Stylization
Jiapeng Ji, Kun Wei, Ziqi Zhang et al.
Learning by Cheating
Dian Chen, Brady Zhou, Vladlen Koltun et al.
SAT-Based Explicit LTLf Satisfiability Checking
Jianwen Li, Kristin Y. Rozier, Geguang Pu et al.
Path-Specific Counterfactual Fairness
Silvia Chiappa
Sanity Checks for Saliency Metrics
Richard Tomsett, Dan Harborne, Supriyo Chakraborty et al.
Automatic Fact-Guided Sentence Modification
Darsh Shah, Tal Schuster, Regina Barzilay
MeInGame: Create a Game Character Face from a Single Portrait
Jiangke Lin, Yi Yuan, Zhengxia Zou
Fact-Enhanced Synthetic News Generation
Kai Shu, Yichuan Li, Kaize Ding et al.
Learning to Check Contract Inconsistencies
Shuo Zhang, Junzhou Zhao, Pinghui Wang et al.
One More Check: Making “Fake Background” Be Tracked Again
Chao Liang, Zhipeng Zhang, Xue Zhou et al.
Mediated Cheap Talk Design
Itai Arieli, Ivan Geffner, Moshe Tennenholtz
From Width-Based Model Checking to Width-Based Automated Theorem Proving
Mateus de Oliveira Oliveira, Farhad Vadiee
Model-Checking for Ability-Based Logics with Constrained Plans
Stéphane Demri, Raul Fervari
A Coreset Learning Reality Check
Fred Lu, Edward Raff, James Holt
Counterfactuals for the Future
Lucius E. J. Bynum, Joshua R. Loftus, Julia Stoyanovich
Heterogeneous Graph Reasoning for Fact Checking over Texts and Tables
Haisong Gong, Weizhi Xu, Shu Wu et al.
CFEVER: A Chinese Fact Extraction and VERification Dataset
Ying-Jia Lin, Chun-Yi Lin, Chia-Jen Yeh et al.
ViFactCheck: A New Benchmark Dataset and Methods for Multi-Domain News Fact-Checking In Vietnamese
Tran Thai Hoa, Tran Quang Duy, Khanh Quoc Tran et al.
BiDeV: Bilateral Defusing Verification for Complex Claim Fact-Checking
Yuxuan Liu, Hongda Sun, Wenya Guo et al.
What Is a Good Question? Assessing Question Quality via Meta-Fact Checking
Bo Zhang, Jianghua Zhu, Chaozhuo Li et al.
AgentMixer: Multi-Agent Correlated Policy Factorization
Zhiyuan Li, Wenshuai Zhao, Lijun Wu et al.
Factor Augmented Tensor-on-Tensor Neural Networks
Guanhao Zhou, Yuefeng Han, Xiufan Yu