← Authors

Andre Freitas

80 papers · 2016–2026 · 10 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (5) πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (14) 🧭 Keyword Pioneer 🌍 Conference Polyglot (10) πŸƒ Academic Marathon (9) 🐝 Cross-Pollinator (12) 🀝 Dynamic Duo (38) πŸ”¬ Deep Specialist (23) πŸ† Keyword Champion (4) 🧬 Topic Evolution πŸ’Ž Century Club (76) πŸš€ Conference Pioneer πŸ“ˆ Trend Setter ⚑ Prolific Year (5) πŸ—ƒοΈ Keyword Collector (309) πŸ”₯ Unstoppable (10) ❓ The Questioner (5)

Conferences

EMNLP (18) ACL (17) COLING (12) EACL (10) AAAI (6) NAACL (6) SEMEVAL (4) IJCNLP (3) NIPS (3) CONLL (1)

Top co-authors

Marco Valentino (41) Danilo Carvalho (15) Mokanarangan Thayaparan (12) Siegfried Handschuh (9) Yingji Zhang (9) Julia Rozanova (8) Deborah Ferreira (8) Leonardo Ranaldi (6) Christina Niklaus (6) Giangiacomo Mercatali (5)

Research topics

Mathematics (2)

Keywords

large language model (20) natural language inference (19) variational autoencoder (9) representation learning (8) multi-hop reasoning (8) question answering (7) latent space (6) knowledge graph (6) semantic analysis (6) graph neural network (5) disentangled representation (5) formal reasoning (5) language model (4) explanation generation (4) natural language processing (4) instruction tuning (4) biomedical nlp (4) theorem proving (4) open information extraction (4) neuro-symbolic reasoning (4)

Papers

Where Do LLMs Compose Meaning? A Layerwise Analysis of Compositional Robustness EACL 2026
Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study AAAI 2026
Mitigating Content Effects on Reasoning in Language Models Through Fine-Grained Activation Steering AAAI 2026
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition EACL 2026
Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025
CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment EMNLP 2025
Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions ACL 2025
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement ACL 2025
Accelerating Antibiotic Discovery with Large Language Models and Knowledge Graphs ACL 2025
Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference ACL 2025
Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder ACL 2025
Eliciting Critical Reasoning in Retrieval-Augmented Generation via Contrastive Explanations NAACL 2025
SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning NAACL 2025
Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis AAAI 2025
Controlling Equational Reasoning in Large Language Models with Prompt Interventions AAAI 2025
Montague semantics and modifier consistency measurement in neural language models COLING 2025
Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder CONLL 2025
Neuro-Symbolic Natural Language Processing EMNLP 2025
TRACE: Training and Inference-Time Interpretability Analysis for Language Models EMNLP 2025
LangVAE and LangSpace: Building and Probing for Language Model VAEs EMNLP 2025
MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers NAACL 2024
An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery ACL 2024
Empowering cross-lingual abilities of instruction-tuned large language models by translation-following demonstrations ACL 2024
Multi-Operational Mathematical Derivations in Latent Space NAACL 2024
Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models EMNLP 2024
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders NAACL 2024
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement EACL 2024
Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions EACL 2024
SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials NAACL 2024
Graph Neural Flows for Unveiling Systemic Interactions Among Irregularly Sampled Time Series NIPS 2024
Aligning Large and Small Language Models via Chain-of-Thought Reasoning EACL 2024
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders EACL 2024
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference COLING 2024
Does the Order Matter? Curriculum Learning over Languages COLING 2024
Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models COLING 2024
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions EMNLP 2024
Formal Semantic Controls over Language Models COLING 2024
Reasoning with Natural Language Explanations EMNLP 2024
Consistent Autoformalization for Constructing Mathematical Libraries EMNLP 2024
SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials SEMEVAL 2024
Diffusion Twigs with Loop Guidance for Conditional Graph Generation NIPS 2024
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024
Inference to the Best Explanation in Large Language Models ACL 2024
Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks ACL 2024
Interventional Probing in High Dimensions: An NLI Case Study EACL 2023
SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data SEMEVAL 2023
Learning Disentangled Representations for Natural Language Definitions EACL 2023
NLI4CT: Multi-Evidence Natural Language Inference for Clinical Trial Reports EMNLP 2023
SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data ACL 2023
Decomposing Natural Logic Inferences for Neural NLI EMNLP 2022
Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration AAAI 2022
To be or not to be an Integer? Encoding Variables for Mathematical Text ACL 2022
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective ACL 2022
Case-Based Abductive Natural Language Inference COLING 2022
Shallow Discourse Parsing for Open Information Extraction and Text Simplification COLING 2022
TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022
Symmetry-induced Disentanglement on Graphs NIPS 2022
STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises EACL 2021
What is SemEval evaluating? A Systematic Analysis of Evaluation Campaigns in NLP EMNLP 2021
Unification-based Reconstruction of Multi-hop Explanations for Science Questions EACL 2021
Does My Representation Capture X? Probe-Ably ACL 2021
Explainable Inference Over Grounding-Abstract Chains for Science Questions ACL 2021
Does My Representation Capture X? Probe-Ably IJCNLP 2021
Explainable Inference Over Grounding-Abstract Chains for Science Questions IJCNLP 2021
Disentangling Generative Factors in Natural Language with Discrete Variational Autoencoders EMNLP 2021
Premise Selection in Natural Language Mathematical Texts ACL 2020
Exploring Knowledge Graphs in an Interpretable Composite Approach for Text Entailment AAAI 2019
DBee: A Database for Creating and Managing Knowledge Graphs and Embeddings EMNLP 2019
Identifying Supporting Facts for Multi-hop Question Answering with Document Graph Networks EMNLP 2019
Identifying and Explaining Discriminative Attributes IJCNLP 2019
Identifying and Explaining Discriminative Attributes EMNLP 2019
Transforming Complex Sentences into a Semantic Hierarchy ACL 2019
Graphene: Semantically-Linked Propositions in Open Information Extraction COLING 2018
A Survey on Open Information Extraction COLING 2018
Graphene: a Context-Preserving Open Information Extraction System COLING 2018
SemEval-2017 Task 5: Fine-Grained Sentiment Analysis on Financial Microblogs and News SEMEVAL 2017
SemEval-2017 Task 11: End-User Development using Natural Language SEMEVAL 2017
A Sentence Simplification System for Improving Relation Extraction COLING 2016