André Freitas

Venues

Frequent coauthors

Papers

1. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
   EACL 2026 ·

   Lei Xu

   DBLP profile ↗ORCID search ↗
2. Compartmentalised Agentic Reasoning for Clinical NLI
   ACL 2026 ·

   Maël Jullien

   DBLP profile ↗ORCID search ↗
3. Dissecting Clinical Reasoning in Natural Language Inference for Large Language Models
   ACL 2026 ·

   Maël Jullien

   DBLP profile ↗ORCID search ↗
4. Emergence and Localisation of Semantic Role Circuits in LLMs
   ACL 2026 ·

   Nura Aljaafari

   DBLP profile ↗ORCID search ↗
5. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
   ACL 2026 ·

   Jordan Meadows

   DBLP profile ↗ORCID search ↗
6. Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
   AAAI 2026 ·

   Yingji Zhang

   DBLP profile ↗ORCID search ↗
7. Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering
   AAAI 2026 ·

   Marco Valentino

   DBLP profile ↗ORCID search ↗
8. Where Do LLMs Compose Meaning? A Layerwise Analysis of Compositional Robustness
   EACL 2026 ·

   Nura Aljaafari

   DBLP profile ↗ORCID search ↗
9. Accelerating Antibiotic Discovery with Large Language Models and Knowledge Graphs
   ACL 2025 ·

   Maxime Delmas

   DBLP profile ↗ORCID search ↗
10. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
    EMNLP 2025 ·

    Lan Zhang

    DBLP profile ↗ORCID search ↗
11. CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment
    EMNLP 2025 ·

    Nura Aljaafari

    DBLP profile ↗ORCID search ↗
12. Controlling Equational Reasoning in Large Language Models with Prompt Interventions
    AAAI 2025 ·

    Jordan Meadows

    DBLP profile ↗ORCID search ↗
13. Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations
    NAACL 2025 ·

    Leonardo Ranaldi

    DBLP profile ↗ORCID search ↗
14. Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
    ACL 2025 ·

    Xin Quan

    DBLP profile ↗ORCID search ↗
15. Gem: Gaussian Mixture Model Embeddings for Numerical Feature Distributions
    EDBT 2025 ·

    Hafiz Tayyab Rauf

    DBLP profile ↗ORCID search ↗
16. Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
    ACL 2025 ·

    Leonardo Ranaldi

    DBLP profile ↗ORCID search ↗
17. Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis
    AAAI 2025 ·

    João Pedro Gandarela de Souza

    DBLP profile ↗ORCID search ↗
18. LangVAE and LangSpace: Building and Probing for Language Model VAEs
    EMNLP 2025 ·

    Danilo S. Carvalho

    DBLP profile ↗ORCID search ↗
19. MASA: LLM-Driven Multi-Agent Systems for Autoformalization
    EMNLP 2025 ·

    Lan Zhang

    DBLP profile ↗ORCID search ↗
20. NEXUS-O: An Omni-Perceptive and -Interactive Model for Language, Audio, and Vision
    ACM MM 2025 ·

    Che Liu

    DBLP profile ↗ORCID search ↗
21. Neuro-Symbolic Natural Language Processing
    EMNLP 2025 · André Freitas
22. PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
    ACL 2025 ·

    Xin Quan

    DBLP profile ↗ORCID search ↗
23. Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
    ACL 2025 ·

    Geonhee Kim

    DBLP profile ↗ORCID search ↗
24. SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
    NAACL 2025 ·

    Magdalena Wysocka

    DBLP profile ↗ORCID search ↗
25. TRACE: Training and Inference-Time Interpretability Analysis for Language Models
    EMNLP 2025 ·

    Nura Aljaafari

    DBLP profile ↗ORCID search ↗
26. TableDC: Deep Clustering for Tabular Data
    SIGMOD 2025 ·

    Hafiz Tayyab Rauf

    DBLP profile ↗ORCID search ↗
27. A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
    NAACL 2024 ·

    Jordan Meadows

    DBLP profile ↗ORCID search ↗
28. An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery
    ACL 2024 ·

    Oskar Wysocki

    DBLP profile ↗ORCID search ↗
29. Consistent Autoformalization for Constructing Mathematical Libraries
    EMNLP 2024 ·

    Lan Zhang

    DBLP profile ↗ORCID search ↗
30. Deep Clustering for Data Cleaning and Integration
    EDBT 2024 ·

    Hafiz Tayyab Rauf

    DBLP profile ↗ORCID search ↗
31. Diffusion Twigs with Loop Guidance for Conditional Graph Generation
    NeurIPS 2024 ·

    Giangiacomo Mercatali

    DBLP profile ↗ORCID search ↗
32. Empowering cross-lingual abilities of instruction-tuned large language models by translation-following demonstrations
    ACL 2024 ·

    Leonardo Ranaldi

    DBLP profile ↗ORCID search ↗
33. Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
    EMNLP 2024 ·

    Jordan Meadows

    DBLP profile ↗ORCID search ↗
34. Graph Neural Flows for Unveiling Systemic Interactions Among Irregularly Sampled Time Series
    NeurIPS 2024 ·

    Giangiacomo Mercatali

    DBLP profile ↗ORCID search ↗
35. Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
    NAACL 2024 ·

    Yingji Zhang

    DBLP profile ↗ORCID search ↗
36. Inference to the Best Explanation in Large Language Models
    ACL 2024 ·

    Dhairya Dalal

    DBLP profile ↗ORCID search ↗
37. Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
    ACL 2024 ·

    Yingji Zhang

    DBLP profile ↗ORCID search ↗
38. Multi-Operational Mathematical Derivations in Latent Space
    NAACL 2024 ·

    Marco Valentino

    DBLP profile ↗ORCID search ↗
39. Reasoning with Natural Language Explanations
    EMNLP 2024 ·

    Marco Valentino

    DBLP profile ↗ORCID search ↗
40. Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models
    EMNLP 2024 ·

    Leonardo Ranaldi

    DBLP profile ↗ORCID search ↗
41. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
    EMNLP 2024 ·

    Xin Quan

    DBLP profile ↗ORCID search ↗