--- title: "André Freitas — papers of 2026 — 4 papers, the most cited first" description: "André Freitas — papers of 2026: 4 papers on Elamur Research, the most cited first — what each work is about in our own words." canonical: "https://research.elamur.ai/free/en/authors/andre-freitas/year/2026/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/andre-freitas/year/2026/) [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/) / 2026 # André Freitas — papers of 2026 — 4 papers, the most cited first 4 papers · [all years of André Freitas](https://md.research.elamur.ai/free/en/authors/andre-freitas/#years) **[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* **[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* **[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* **[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*