most citedWhen AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific Research

5 citations · 9 across the 6 of their papers we have counts for

collaborators

6 papers

physics.chem-ph2025

Electrodrying in nanopores: from fundamentals to iontronic and memristive applications

Giovanni Di Muccio, Gonçalo Paulo, Lorenzo Iannetti +3

Iontronics is a burgeoning paradigm that employs ions in solution as information carriers for sensing and computing, e.g., in neuromorphic devices. The fundamentally different work…

cs.CL2025

Automated Attribution Graph Interpretation via Probe Prompting

Giuseppe Birardi, Gonçalo Paulo

Even though we know the precise computations that lead from a large language model (LLM) input to its output this computation remains very hard to interpret. One way to make it eas…

cs.CL2025★ 5 cited

When AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific Research

Guijin Son, Jiwoo Hong, Honglu Fan +8

Recent advances in large language models (LLMs) have fueled the vision of automated scientific discovery, often called AI Co-Scientists. To date, prior work casts these systems as…

cs.LG2025

Transcoders Beat Sparse Autoencoders for Interpretability

Gonçalo Paulo, Stepan Shabalin, Nora Belrose

Sparse autoencoders (SAEs) extract human-interpretable features from deep neural networks by transforming their activations into a sparse, higher dimensional latent space, and then…

cs.LG2025★ 1 cited

Sparse Autoencoders Trained on the Same Data Learn Different Features

Gonçalo Paulo, Nora Belrose

Sparse autoencoders (SAEs) are a useful tool for uncovering human-interpretable features in the activations of large language models (LLMs). While some expect SAEs to find the true…

cs.LG2024★ 3 cited

Automatically Interpreting Millions of Features in Large Language Models

Gonçalo Paulo, Alex Mallen, Caden Juang +1

While the activations of neurons in deep neural networks usually do not have a simple human-understandable interpretation, sparse autoencoders (SAEs) can be used to transform these…