Marco Valentino
- Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
2024/05/02 by Marco Valentino, Quan, Xin, Louise A. Dennis +4 · 7 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies
- Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
2024/02/01 by Xin Quan, Marco Valentino, Quan, Xin +5 · 1 voice · 5 citations
Computer Science · Social Sciences · #Computation and Language (cs.CL) #Computational and Text Analysis Methods #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling #cs.CL
- NLI4CT: Multi-Evidence Natural Language Inference for Clinical Trial Reports
2023/05/05 by Maël Jullien, Jullien, Maël, Marco Valentino +9 · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
- SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
2024/04/07 by Mael Jullien, Jullien, Mael, Marco Valentino +3 · 4 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #Computation and Language (cs.CL) #FOS: Computer and information sciences #Topic Modeling
- Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
2025/02/17 by Lan Zhang, Marco Valentino, Zhang, Lan +3 · 3 citations
Computer Science · #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques
- PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
2025/04/05 by Marco Valentino, Quan, Xin, Valentino, Marco +5 · 3 citations
Computer Science · #Explainable Artificial Intelligence (XAI) #Topic Modeling #Multimodal Machine Learning Applications
- Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
2024/02/01 by Yingji Zhang, Zhang, Yingji, Danilo S. Carvalho +7 · 1 citation
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech Recognition and Synthesis #Topic Modeling
- A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
2024/04/03 by Mokanarangan Thayaparan, Thayaparan, Mokanarangan, Marco Valentino +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
- Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
2024/10/30 by Leonardo Ranaldi, Ranaldi, Leonardo, Marco Valentino +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- A Framework for Evaluation of Machine Reading Comprehension Gold Standards
2020/03/10 by Viktor Schlegel, Marco Valentino, Schlegel, Viktor +7 · 1 citation
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling