PPaperPicks

André Freitas

41 papers at tracked venues · 21 at CORE A* · active 2024–2026

DBLP profile ↗ORCID 0000-0002-4430-4837 ↗

Venues

ACL ×13EMNLP ×11NAACL ×5AAAI ×4EACL ×2EDBT ×2NeurIPS ×2ACM MM ×1SIGMOD ×1

Frequent coauthors

Marco Valentino
×21
Danilo S. Carvalho
×13
Leonardo Ranaldi
×5
Jordan Meadows
×5
Lan Zhang
×5
Yingji Zhang
×5
Nura Aljaafari
×4
Xin Quan
×4
Dhairya Dalal
×3
Magdalena Wysocka
×3
Hafiz Tayyab Rauf
×3
Norman W. Paton
×3

Papers

  1. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
    EACL 2026 ·
    Lei Xu
    ,
    Pierre Beckmann
    ,
    Marco Valentino
    , André Freitas
  2. Compartmentalised Agentic Reasoning for Clinical NLI
    ACL 2026 ·
    Maël Jullien
    , André Freitas,
    Marco Valentino
    ,
    Lei Xu
  3. Dissecting Clinical Reasoning in Natural Language Inference for Large Language Models
    ACL 2026 ·
    Maël Jullien
    , André Freitas,
    Marco Valentino
    ,
    Leonardo Ranaldi
  4. Emergence and Localisation of Semantic Role Circuits in LLMs
    ACL 2026 ·
    Nura Aljaafari
    ,
    Danilo S. Carvalho
    , André Freitas
  5. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
    ACL 2026 ·
    Jordan Meadows
    ,
    Lan Zhang
    , André Freitas
  6. Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
    AAAI 2026 ·
    Yingji Zhang
    ,
    Marco Valentino
    ,
    Danilo S. Carvalho
    , André Freitas
  7. Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering
    AAAI 2026 ·
    Marco Valentino
    ,
    Geonhee Kim
    ,
    Dhairya Dalal
    ,
    Zhixue Zhao
    , André Freitas
  8. Where Do LLMs Compose Meaning? A Layerwise Analysis of Compositional Robustness
    EACL 2026 ·
    Nura Aljaafari
    ,
    Danilo S. Carvalho
    , André Freitas
  9. Accelerating Antibiotic Discovery with Large Language Models and Knowledge Graphs
    ACL 2025 ·
    Maxime Delmas
    ,
    Magdalena Wysocka
    ,
    Danilo Miranda Gusicuma
    , André Freitas
  10. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
    EMNLP 2025 ·
    Lan Zhang
    ,
    Marco Valentino
    , André Freitas
  11. CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment
    EMNLP 2025 ·
    Nura Aljaafari
    ,
    Danilo S. Carvalho
    , André Freitas
  12. Controlling Equational Reasoning in Large Language Models with Prompt Interventions
    AAAI 2025 ·
    Jordan Meadows
    ,
    Marco Valentino
    , André Freitas
  13. Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations
    NAACL 2025 ·
    Leonardo Ranaldi
    ,
    Marco Valentino
    , André Freitas
  14. Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
    ACL 2025 ·
    Xin Quan
    ,
    Marco Valentino
    ,
    Louise A. Dennis
    , André Freitas
  15. Gem: Gaussian Mixture Model Embeddings for Numerical Feature Distributions
    EDBT 2025 ·
    Hafiz Tayyab Rauf
    ,
    Alex Teodor Bogatu
    ,
    Norman W. Paton
    , André Freitas
  16. Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
    ACL 2025 ·
    Leonardo Ranaldi
    ,
    Marco Valentino
    , André Freitas
  17. Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis
    AAAI 2025 ·
    João Pedro Gandarela de Souza
    ,
    Danilo S. Carvalho
    , André Freitas
  18. LangVAE and LangSpace: Building and Probing for Language Model VAEs
    EMNLP 2025 ·
    Danilo S. Carvalho
    ,
    Yingji Zhang
    ,
    Harriet Unsworth
    , André Freitas
  19. MASA: LLM-Driven Multi-Agent Systems for Autoformalization
    EMNLP 2025 ·
    Lan Zhang
    ,
    Marco Valentino
    , André Freitas
  20. NEXUS-O: An Omni-Perceptive and -Interactive Model for Language, Audio, and Vision
    ACM MM 2025 ·
    Che Liu
    ,
    Yingji Zhang
    ,
    Dong Zhang
    ,
    Weijie Zhang
    ,
    Chenggong Gong
    ,
    Yu Lu
    ,
    Shilin Zhou
    ,
    Ziliang Gan
    ,
    Ziao Wang
    ,
    Haipang Wu
    ,
    Ji Liu
    , André Freitas,
    Qifan Wang
    ,
    Zenglin Xu
    ,
    Rongjunchen Zhang
    ,
    Yong Dai
  21. Neuro-Symbolic Natural Language Processing
    EMNLP 2025 · André Freitas,
    Marco Valentino
    ,
    Danilo Silva de Carvalho
  22. PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
    ACL 2025 ·
    Xin Quan
    ,
    Marco Valentino
    ,
    Danilo S. Carvalho
    ,
    Dhairya Dalal
    , André Freitas
  23. Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
    ACL 2025 ·
    Geonhee Kim
    ,
    Marco Valentino
    , André Freitas
  24. SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
    NAACL 2025 ·
    Magdalena Wysocka
    ,
    Danilo S. Carvalho
    ,
    Oskar Wysocki
    ,
    Marco Valentino
    , André Freitas
  25. TRACE: Training and Inference-Time Interpretability Analysis for Language Models
    EMNLP 2025 ·
    Nura Aljaafari
    ,
    Danilo S. Carvalho
    , André Freitas
  26. TableDC: Deep Clustering for Tabular Data
    SIGMOD 2025 ·
    Hafiz Tayyab Rauf
    , André Freitas,
    Norman W. Paton
  27. A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
    NAACL 2024 ·
    Jordan Meadows
    ,
    Marco Valentino
    ,
    Damien Teney
    , André Freitas
  28. An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery
    ACL 2024 ·
    Oskar Wysocki
    ,
    Magdalena Wysocka
    ,
    Danilo S. Carvalho
    ,
    Alex Bogatu
    ,
    Danilo Miranda Gusicuma
    ,
    Maxime Delmas
    ,
    Harriet Unsworth
    , André Freitas
  29. Consistent Autoformalization for Constructing Mathematical Libraries
    EMNLP 2024 ·
    Lan Zhang
    ,
    Xin Quan
    , André Freitas
  30. Deep Clustering for Data Cleaning and Integration
    EDBT 2024 ·
    Hafiz Tayyab Rauf
    , André Freitas,
    Norman W. Paton
  31. Diffusion Twigs with Loop Guidance for Conditional Graph Generation
    NeurIPS 2024 ·
    Giangiacomo Mercatali
    ,
    Yogesh Verma
    , André Freitas,
    Vikas Garg
  32. Empowering cross-lingual abilities of instruction-tuned large language models by translation-following demonstrations
    ACL 2024 ·
    Leonardo Ranaldi
    ,
    Giulia Pucci
    , André Freitas
  33. Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
    EMNLP 2024 ·
    Jordan Meadows
    ,
    Tamsin James
    , André Freitas
  34. Graph Neural Flows for Unveiling Systemic Interactions Among Irregularly Sampled Time Series
    NeurIPS 2024 ·
    Giangiacomo Mercatali
    , André Freitas,
    Jie Chen
  35. Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
    NAACL 2024 ·
    Yingji Zhang
    ,
    Marco Valentino
    ,
    Danilo S. Carvalho
    ,
    Ian Pratt-Hartmann
    , André Freitas
  36. Inference to the Best Explanation in Large Language Models
    ACL 2024 ·
    Dhairya Dalal
    ,
    Marco Valentino
    , André Freitas,
    Paul Buitelaar
  37. Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
    ACL 2024 ·
    Yingji Zhang
    ,
    Danilo S. Carvalho
    , André Freitas
  38. Multi-Operational Mathematical Derivations in Latent Space
    NAACL 2024 ·
    Marco Valentino
    ,
    Jordan Meadows
    ,
    Lan Zhang
    , André Freitas
  39. Reasoning with Natural Language Explanations
    EMNLP 2024 ·
    Marco Valentino
    , André Freitas
  40. Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models
    EMNLP 2024 ·
    Leonardo Ranaldi
    , André Freitas
  41. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
    EMNLP 2024 ·
    Xin Quan
    ,
    Marco Valentino
    ,
    Louise A. Dennis
    , André Freitas