2 papers
cs.CL2026
APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries
Huajian Xin, Luming Li, Xiaoran Jin +2
While frontier formal mathematics systems now routinely develop repository-scale proof engineering artifacts requiring multi-file coordination and semantic correctness beyond compi…
cs.AI2024
Process-aware Human Activity Recognition
Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot +1
Humans naturally follow distinct patterns when conducting their daily activities, which are driven by established practices and processes, such as production workflows, social norm…