---
title: "André Freitas — all works — Elamur Research"
description: "All 29 works of André Freitas in the Elamur Research library, the most cited first: our summaries where we have them, else the original."
canonical: "https://research.elamur.ai/free/en/authors/andre-freitas/works/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/andre-freitas/works/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [André Freitas](https://md.research.elamur.ai/free/en/authors/andre-freitas/) / all works

# André Freitas — all works

29 works · [← André Freitas](https://md.research.elamur.ai/free/en/authors/andre-freitas/)

1. **[SemEval-2017 Task 5: Fine-Grained Sentiment Analysis on Financial Microblogs and News ↗](https://aclanthology.org/S17-2089/) Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017) · no summary yet**Keith Cortis et al.*2017 · 214 citations*
2. **[A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation ↗](https://arxiv.org/abs/2305.11391) arXiv:2305.11391 · no summary yet**Xiaowei Huang et al.*2023 · 199 citations*
3. **[Aligning Large and Small Language Models via Chain-of-Thought Reasoning](https://md.research.elamur.ai/free/en/papers/ranaldi-2024-aligning-large-small-language-models/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Leonardo Ranaldi, Andre Freitas*2024 · 70 citations*
4. **[Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Xin Quan, Marco Valentino, Louise A. Dennis, et al.*2024 · 52 citations*
5. **[A Sentence Simplification System for Improving Relation Extraction ↗](https://aclanthology.org/C16-2036/) Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: System Demonstrations · no summary yet**Christina Niklaus et al.*2016 · 48 citations*
6. **[Premise Selection in Natural Language Mathematical Texts](https://md.research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Deborah Ferreira, André Freitas*2020 · 44 citations*
7. **[Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions](https://md.research.elamur.ai/free/en/papers/ranaldi-2025-improving-chain-thought-reasoning-quasi/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Leonardo Ranaldi, Marco Valentino, Andre Freitas*2025 · 42 citations*
8. **[Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models](https://md.research.elamur.ai/free/en/papers/ranaldi-2024-self-refine-instruction-tuning-aligning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Leonardo Ranaldi, Andre Freitas*2024 · 35 citations*
9. **[SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models](https://md.research.elamur.ai/free/en/papers/valentino-2026-semeval-2026-task-11-disentangling/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/semeval/)**Marco Valentino, Leonardo Ranaldi, Giulia Pucci, et al.*2026 · 22 citations*
10. [**DisSim: A Discourse-Aware Syntactic Text Simplification Framework for English and German**Christina Niklaus, Matthias Cetto, André Freitas, et al.*English · 19 citations*](https://md.research.elamur.ai/free/en/papers/niklaus-2019-dissim-discourse-aware-syntactic-text/)
11. **[The SSIX Corpora: Three Gold Standard Corpora for Sentiment Analysis in English, Spanish and German Financial Microblogs ↗](https://aclanthology.org/L18-1423/) Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018) · no summary yet**Thomas Gaillat et al.*2018 · 19 citations*
12. **[A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers ↗](https://aclanthology.org/2024.naacl-long.84/) Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) · no summary yet**Jordan Meadows et al.*2024 · 14 citations*
13. **[Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions ↗](https://aclanthology.org/2025.emnlp-main.90/) Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing · no summary yet**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 11 citations*
14. **[Consistent Autoformalization for Constructing Mathematical Libraries ↗](https://aclanthology.org/2024.emnlp-main.233/) Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing · no summary yet**Lan Zhang, Xin Quan, Andre Freitas*2024 · 11 citations*
15. **[Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards](https://md.research.elamur.ai/free/en/papers/valentino-2021-do-natural-language-explanations-represent/) [International Conference on Computational Semantics](https://md.research.elamur.ai/free/en/venues/iwcs/)**Marco Valentino, Ian Pratt-Hartmann, André Freitas*2021 · 11 citations*
16. **[Decomposing Natural Logic Inferences for Neural NLI](https://md.research.elamur.ai/free/en/papers/rozanova-2022-decomposing-natural-logic-inferences-neural/) [BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP](https://md.research.elamur.ai/free/en/venues/blackboxnlp/)**Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, et al.*2022 · 8 citations*
17. **[Interventional Probing in High Dimensions: An NLI Case Study](https://md.research.elamur.ai/free/en/papers/rozanova-2023-interventional-probing-high-dimensions-nli/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Julia Rozanova, Marco Valentino, Lucas Cordeiro, et al.*2023 · 7 citations*
18. [**Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning arXiv:2506.10903**Lan Zhang, Marco Valentino, Jordan Meadows, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-gold-standards-epistemic-ensemble-llm/)
19. **[MASA: LLM-Driven Multi-Agent Systems for Autoformalization](https://md.research.elamur.ai/free/en/papers/zhang-2025-masa-llm-driven-multi-agent/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 5 citations*
20. **[Supporting Context Monotonicity Abstractions in Neural NLI Models](https://md.research.elamur.ai/free/en/papers/rozanova-2021-supporting-context-monotonicity-abstractions-neural/) [Workshops on Natural Logic Meets Machine Learning (NALOMA)](https://md.research.elamur.ai/free/en/venues/naloma/)**Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, et al.*2021 · 5 citations*
21. **[Context-Preserving Text Simplification ↗](https://arxiv.org/abs/2105.11178) arXiv:2105.11178 · no summary yet**Christina Niklaus et al.*2021 · 5 citations*
22. **[Discourse-Aware Text Simplification: From Complex Sentences to Linked Propositions ↗](https://arxiv.org/abs/2308.00425) arXiv:2308.00425 · no summary yet**Christina Niklaus et al.*2023 · 3 citations*
23. **[Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition](https://md.research.elamur.ai/free/en/papers/xu-2026-adaptive-llm-symbolic-reasoning-dynamic/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Lei Xu, Pierre Beckmann, Marco Valentino, et al.*2026 · 2 citations*
24. [**Towards Controllable Natural Language Inference through Lexical Inference Types arXiv:2308.03581**Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.*2023 · 2 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2023-towards-controllable-natural-language-inference/)
25. **[Shallow Discourse Parsing for Open Information Extraction and Text Simplification ↗](https://aclanthology.org/2022.codi-1.9/) Proceedings of the 3rd Workshop on Computational Approaches to Discourse · no summary yet**Christina Niklaus, André Freitas, Siegfried Handschuh*2022 · 2 citations*
26. **[DisSim: A Discourse-Aware Syntactic Text Simplification Frameworkfor English and German ↗](https://arxiv.org/abs/1909.12140) arXiv:1909.12140 · no summary yet**Christina Niklaus et al.*2019 · 1 citation*
27. **[Bridging Linguistic Structure and Mechanistic Interpretability for Conceptual Interpretation in Language Models](https://md.research.elamur.ai/free/en/papers/aljaafari-2026-bridging-linguistic-structure-mechanistic-interpretability/) [Conference on Computational Natural Language Learning (CoNLL)](https://md.research.elamur.ai/free/en/venues/conll/)**Nura Aljaafari, Danilo Carvalho, Andre Freitas*2026*
28. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jordan Meadows, Lan Zhang, Andre Freitas*2026*
29. **[Text Classification and Prediction in the Legal Domain ↗](https://aclanthology.org/2022.lrec-1.504/) Proceedings of the Thirteenth Language Resources and Evaluation Conference · no summary yet**Minh-Quoc Nghiem et al.*2022*