Update cookies preferences
 logo Idiap Research Institute        
Andre Freitas
First name(s): Andre
Last name(s): Freitas
Email: andre.freitas@idiap.ch
Institute: Idiap Research Institute

Publications of Andre Freitas
| 1 | 2 | 3 |

2026
2025
Accelerating Antibiotic Discovery with Large Language Models and Knowledge Graphs, Maxime Delmas, Magdalena Wysocka, Danilo Gusicuma and Andre Freitas, in: 63rd Annual Meeting of the Association for Computational Linguistics, Vienna, pages 693–705, Association for Computational Linguistics, 2025
[DOI]
[URL]
Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations, Leonardo Ranaldi, Marco Valentino and Andre Freitas, in: Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics, 2025
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations, Xin Quan, Marco Valentino, Louise Dennis and Andre Freitas, in: 63rd Annual Meeting of the Association for Computational Linguistics, 2025
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions, Lan Zhang, Marco Valentino and Andre Freitas, in: The 2025 Conference on Empirical Methods in Natural Language Processing (best resource paper award), 2025
Gem: Gaussian Mixture Model Embeddings for Numerical Feature Distributions, Hafiz Rauf, Alex Bogatu, Norman Paton and Andre Freitas, in: 8th International Conference on Extending Database Technology, 2025
Improving chain-of-thought reasoning via quasi-symbolic abstractions, Leonardo Ranaldi, Marco Valentino, Alexander Polonsky and Andre Freitas, in: 63rd Annual Meeting of the Association for Computational Linguistics, 2025
Inductive Learning of Logical Theories with LLMs: A Complexity-graded Analysis, João Gandarela, Danilo Carvalho and Andre Freitas, in: The 39th Annual AAAI Conference on Artificial Intelligence, 2025
LangVAE and LangSpace: Building and Probing for Language Model VAEs, Danilo Carvalho, Yingji Zhang, Harriet Unsworth and Andre Freitas, in: Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP), 2025
MASA: A Modular Framework for LLM-Driven Multi-Agent Systems for Autoformalization, Lan Zhang, Marco Valentino and Andre Freitas, in: Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing, 2025
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement, Xin Quan, Marco Valentino, Danilo Carvalho, Dhairya Dalal and Andre Freitas, in: Demonstration at 63rd Annual Meeting of the Association for Computational Linguistics, 2025
Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoders, Yingji Zhang, Danilo Carvalho and Andre Freitas, in: 29th Conference on Computational Natural Language Learning (nominated for a best paper award), 2025
SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning, Magdalena Wysocka, Danilo Carvalho, Oskar Wysocki, Marco Valentino and Andre Freitas, in: Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics, 2025
TableDC: Deep Clustering for Tabular Data, Hafiz Rauf, Andre Freitas and Norman Paton, in: ACM SIGMOD International Conference on Management of Data, 2025
TRACE: Training and Inference-Time Interpretability Analysis for Language Models, Nura Aljaafari, Danilo Carvalho and Andre Freitas, in: Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing, 2025
2024
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference, Mokanarangan Thayaparan, Marco Valentino and Andre Freitas, in: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, 2024
A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers, Jordan Meadows, Marco Valentino, Damien Teney and Andre Freitas, in: Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL), 2024
[URL]
Aligning Large and Small Language Models via Chain-of-Thought Reasoning, Leonardo Ranaldi and Andre Freitas, in: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024
An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery, Oskar Wysocki, Magdalena Wysocka, Danilo Carvalho, Alex Bogatu, Danilo Gusicuma, Maxime Delmas, Harriet Unsworth and Andre Freitas, in: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics, ACL, Bangkok, Thailand, pages 355-364, 2024
[DOI]
[URL]
Consistent Autoformalization for Constructing Mathematical Libraries, Lan Zhang, Xin Quan and Andre Freitas, in: The 2024 Conference on Empirical Methods in Natural Language Processing, 2024
Deep Clustering for Data Cleaning and Integration, Hafiz Rauf, Andre Freitas and Norman Paton, in: 27th International Conference on Extending Database Technology, 2024
Diffusion Twigs with Loop Guidance for Conditional Graph Generation, Giangiacomo Mercatali, Yogesh Verma, Andre Freitas and Vikas Garg, in: Thirty-Eighth Annual Conference on Neural Information Processing Systems, 2024
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement, Xin Quan, Marco Valentino, Louise A Dennis and Andre Freitas, in: The 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024), 2024
Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models, Julia Rozanova, Marco Valentino and Andre Freitas, in: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, 2024
Graph Neural Flows for Unveiling Systemic Interactions Among Irregularly Sampled Time Series, Giangiacomo Mercatali, Andre Freitas and Jie Chen, in: Thirty-Eighth Annual Conference on Neural Information Processing Systems, 2024
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders, Yingji Zhang, Danilo Carvalho, Marco Valentino, Ian Pratt-Hartmann and Andre Freitas, in: Findings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024), 2024
Inference to the Best Explanation in Large Language Models, Dhairya Dalal, Marco Valentino, Andre Freitas and Paul Buitelaar, in: In Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics, 2024
Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks, Yingji Zhang, Danilo Carvalho and Andre Freitas, in: The 62nd Annual Meeting of the Association for Computational Linguistics, 2024
Multi-Operational Mathematical Derivations in Latent Space, Marco Valentino, Jordan Meadows, Lan Zhang and Andre Freitas, in: Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024
Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions, Marco Valentino, Danilo Carvalho and Andre Freitas, in: The 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024), 2024
Reasoning with Natural Language Explanations, Marco Valentino and Andre Freitas, in: In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing: Tutorial Abstracts, 2024
| 1 | 2 | 3 |