🧑‍🔬 André Freitas — all works

29 works · ← André Freitas

1. SemEval-2017 Task 5: Fine-Grained Sentiment Analysis on Financial Microblogs and News ↗Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017) · no summary yetKeith Cortis et al.2017 · 214 citations
2. A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation ↗arXiv:2305.11391 · no summary yetXiaowei Huang et al.2023 · 199 citations
3. Aligning Large and Small Language Models via Chain-of-Thought ReasoningConference of the European Chapter of the Association for Computational Linguistics (EACL)Leonardo Ranaldi, Andre Freitas2024 · 70 citations
4. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem ProvingConference on Empirical Methods in Natural Language Processing (EMNLP)Xin Quan, Marco Valentino, Louise A. Dennis, et al.2024 · 52 citations
5. A Sentence Simplification System for Improving Relation Extraction ↗Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: System Demonstrations · no summary yetChristina Niklaus et al.2016 · 48 citations
6. Premise Selection in Natural Language Mathematical TextsAnnual Meeting of the Association for Computational Linguistics (ACL)Deborah Ferreira, André Freitas2020 · 44 citations
7. Improving Chain-of-Thought Reasoning via Quasi-Symbolic AbstractionsAnnual Meeting of the Association for Computational Linguistics (ACL)Leonardo Ranaldi, Marco Valentino, Andre Freitas2025 · 42 citations
8. Self-Refine Instruction-Tuning for Aligning Reasoning in Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Leonardo Ranaldi, Andre Freitas2024 · 35 citations
9. SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language ModelsInternational Workshop on Semantic Evaluation (SemEval)Marco Valentino, Leonardo Ranaldi, Giulia Pucci, et al.2026 · 22 citations
10. DisSim: A Discourse-Aware Syntactic Text Simplification Framework for English and GermanChristina Niklaus, Matthias Cetto, André Freitas, et al.English · 19 citations
11. The SSIX Corpora: Three Gold Standard Corpora for Sentiment Analysis in English, Spanish and German Financial Microblogs ↗Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018) · no summary yetThomas Gaillat et al.2018 · 19 citations
12. A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers ↗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 yetJordan Meadows et al.2024 · 14 citations
13. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions ↗Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing · no summary yetLan Zhang, Marco Valentino, Andre Freitas2025 · 11 citations
14. Consistent Autoformalization for Constructing Mathematical Libraries ↗Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing · no summary yetLan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
15. Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold StandardsInternational Conference on Computational SemanticsMarco Valentino, Ian Pratt-Hartmann, André Freitas2021 · 11 citations
16. Decomposing Natural Logic Inferences for Neural NLIBlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLPJulia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, et al.2022 · 8 citations
17. Interventional Probing in High Dimensions: An NLI Case StudyFindings of the Association for Computational LinguisticsJulia Rozanova, Marco Valentino, Lucas Cordeiro, et al.2023 · 7 citations
18. Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical ReasoningarXiv:2506.10903Lan Zhang, Marco Valentino, Jordan Meadows, et al.2025 · 5 citations
19. MASA: LLM-Driven Multi-Agent Systems for AutoformalizationConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Marco Valentino, Andre Freitas2025 · 5 citations
20. Supporting Context Monotonicity Abstractions in Neural NLI ModelsWorkshops on Natural Logic Meets Machine Learning (NALOMA)Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, et al.2021 · 5 citations
21. Context-Preserving Text Simplification ↗arXiv:2105.11178 · no summary yetChristina Niklaus et al.2021 · 5 citations
22. Discourse-Aware Text Simplification: From Complex Sentences to Linked Propositions ↗arXiv:2308.00425 · no summary yetChristina Niklaus et al.2023 · 3 citations
23. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
24. Towards Controllable Natural Language Inference through Lexical Inference TypesarXiv:2308.03581Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.2023 · 2 citations
25. Shallow Discourse Parsing for Open Information Extraction and Text Simplification ↗Proceedings of the 3rd Workshop on Computational Approaches to Discourse · no summary yetChristina Niklaus, André Freitas, Siegfried Handschuh2022 · 2 citations
26. DisSim: A Discourse-Aware Syntactic Text Simplification Frameworkfor English and German ↗arXiv:1909.12140 · no summary yetChristina Niklaus et al.2019 · 1 citation
27. Bridging Linguistic Structure and Mechanistic Interpretability for Conceptual Interpretation in Language ModelsConference on Computational Natural Language Learning (CoNLL)Nura Aljaafari, Danilo Carvalho, Andre Freitas2026
28. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
29. Text Classification and Prediction in the Legal Domain ↗Proceedings of the Thirteenth Language Resources and Evaluation Conference · no summary yetMinh-Quoc Nghiem et al.2022

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/andre-freitas/works/