Marco Volpe
- From axioms to synthetic inference rules via focusing
2022/01/25 by Sonia Marin, Dale Miller, Elaine Pimentel +1 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
- Do LLMs Agree on the Creativity Evaluation of Alternative Uses?
2024/11/23 by Abdullah Al Rabeyah, Fabrício Góes, Rabeyah, Abdullah Al +5 · 1 voice · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #cs.AI #cs.CL