Lucas Dixon

93 papers A* 13A 3B 2C 1Journal 51Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Think Before You Lie: How Reasoning Leads to Honesty.
CoRR
Ann Yuan, Asma Ghandeharioun, Carter Blum, Alicia Machado, Jessica Hoffmann, Daphne Ippolito, Martin Wattenberg, Lucas Dixon, Katja Filippova
2025 J jnl
Beyond the Rosetta Stone: Unification Forces in Generalization Dynamics.
CoRR
Carter Blum, Katja Filippova, Ann Yuan, Asma Ghandeharioun, Julian Zimmert, Fred Zhang, Jessica Hoffmann, Tal Linzen, Martin Wattenberg, Lucas Dixon, Mor Geva
2025 J jnl
Deliberate Lab: A Platform for Real-Time Human-AI Social Experiments.
CoRR
Crystal Qian, Vivian Tsai, Michael Behr, Nada Hussein, Léo Laugier, Nithum Thain, Lucas Dixon
2025 J jnl
Improving Neutral Point of View Text Generation through Parameter-Efficient Reinforcement Learning and a Small-Scale High-Quality Dataset.
CoRR
Jessica Hoffmann, Christiane Ahlheim, Zac Yu, Aria Walfrand, Jarvis Jin, Marie Tano, Ahmad Beirami, Erin van Liemt, Nithum Thain, Hakim Sidahmed, Lucas Dixon
2025 A* conf
Improving Neutral Point-of-View Generation with Data- and Parameter-Efficient RL.
EMNLP
Jessica Hoffmann, Christiane Ahlheim, Zac Yu, Aria Walfrand, Jarvis Jin, Marie Tano, Ahmad Beirami, Erin MacMurray van Liemt, Nithum Thain, Hakim Sidahmed, Lucas Dixon
2025 J jnl
LLM Comparator: Interactive Analysis of Side-by-Side Evaluation of Large Language Models.
IEEE Trans. Vis. Comput. Graph.
Minsuk Kahng, Ian Tenney, Mahima Pushkarna, Michael Xieyang Liu, James Wexler, Emily Reif, Krystal Kallarackal, Minsuk Chang, Michael Terry, Lucas Dixon
2025 A* conf
Scalable Influence and Fact Tracing for Large Language Model Pretraining.
ICLR
Tyler A. Chang, Dheeraj Rajagopal, Tolga Bolukbasi, Lucas Dixon, Ian Tenney
2025 A* conf
To Mask or to Mirror: Human-AI Alignment in Collective Reasoning.
EMNLP
Crystal Qian, Aaron T. Parisi, Clémentine Bouleau, Vivian Tsai, Maël Lebreton, Lucas Dixon
2025 J jnl
To Mask or to Mirror: Human-AI Alignment in Collective Reasoning.
CoRR
Crystal Qian, Aaron Parisi, Clémentine Bouleau, Vivian Tsai, Maël Lebreton, Lucas Dixon
2024 — conf
"We Need Structured Output": Towards User-centered Constraints on Large Language Model Output.
CHI Extended Abstracts
Michael Xieyang Liu, Frederick Liu, Alexander J. Fiannaca, Terry Koo, Lucas Dixon, Michael Terry, Carrie J. Cai
2024 J jnl
"We Need Structured Output": Towards User-centered Constraints on Large Language Model Output.
CoRR
Michael Xieyang Liu, Frederick Liu, Alexander J. Fiannaca, Terry Koo, Lucas Dixon, Michael Terry, Carrie J. Cai
2024 A* conf
Decoding-time Realignment of Language Models.
ICML
Tianlin Liu, Shangmin Guo, Leonardo Bianco, Daniele Calandriello, Quentin Berthet, Felipe Llinares-López, Jessica Hoffmann, Lucas Dixon, Michal Valko, Mathieu Blondel
2024 J jnl
Decoding-time Realignment of Language Models.
CoRR
Tianlin Liu, Shangmin Guo, Leonardo Bianco, Daniele Calandriello, Quentin Berthet, Felipe Llinares, Jessica Hoffmann, Lucas Dixon, Michal Valko, Mathieu Blondel
2024 — conf
Detecting Hallucination and Coverage Errors in Retrieval Augmented Generation for Controversial Topics.
LREC/COLING
Tyler A. Chang, Katrin Tomanek, Jessica Hoffmann, Nithum Thain, Erin MacMurray van Liemt, Kathleen S. Meier-Hellstern, Lucas Dixon
2024 J jnl
Detecting Hallucination and Coverage Errors in Retrieval Augmented Generation for Controversial Topics.
CoRR
Tyler A. Chang, Katrin Tomanek, Jessica Hoffmann, Nithum Thain, Erin van Liemt, Kathleen S. Meier-Hellstern, Lucas Dixon
2024 J jnl
Interactive Prompt Debugging with Sequence Salience.
CoRR
Ian Tenney, Ryan Mullins, Bin Du, Shree Pandya, Minsuk Kahng, Lucas Dixon
2024 A* conf
Interpretability Illusions in the Generalization of Simplified Models.
ICML
Dan Friedman, Andrew Kyle Lampinen, Lucas Dixon, Danqi Chen, Asma Ghandeharioun
2024 — conf
LLM Comparator: Visual Analytics for Side-by-Side Evaluation of Large Language Models.
CHI Extended Abstracts
Minsuk Kahng, Ian Tenney, Mahima Pushkarna, Michael Xieyang Liu, James Wexler, Emily Reif, Krystal Kallarackal, Minsuk Chang, Michael Terry, Lucas Dixon
2024 J jnl
LLM Comparator: Visual Analytics for Side-by-Side Evaluation of Large Language Models.
CoRR
Minsuk Kahng, Ian Tenney, Mahima Pushkarna, Michael Xieyang Liu, James Wexler, Emily Reif, Krystal Kallarackal, Minsuk Chang, Michael Terry, Lucas Dixon
2024 J jnl
PERL: Parameter Efficient Reinforcement Learning from Human Feedback.
CoRR
Hakim Sidahmed, Samrat Phatale, Alex Hutcheson, Zhuonan Lin, Zhang Chen, Zac Yu, Jarvis Jin, Roman Komarytsia, Christiane Ahlheim, Yonghao Zhu, Simral Chaudhary, Bowen Li, Saravanan Ganesh, Bill Byrne, Jessica Hoffmann, Hassan Mansoor, Wei Li, Abhinav Rastogi, Lucas Dixon
2024 A* conf
Patchscopes: A Unifying Framework for Inspecting Hidden Representations of Language Models.
ICML
Asma Ghandeharioun, Avi Caciularu, Adam Pearce, Lucas Dixon, Mor Geva
2024 J jnl
Patchscopes: A Unifying Framework for Inspecting Hidden Representations of Language Models.
CoRR
Asma Ghandeharioun, Avi Caciularu, Adam Pearce, Lucas Dixon, Mor Geva
2024 J jnl
Scalable Influence and Fact Tracing for Large Language Model Pretraining.
CoRR
Tyler A. Chang, Dheeraj Rajagopal, Tolga Bolukbasi, Lucas Dixon, Ian Tenney
2024 A* conf
Who's asking? User personas and the mechanics of latent misalignment.
NeurIPS
Asma Ghandeharioun, Ann Yuan, Marius Guerard, Emily Reif, Michael A. Lepori, Lucas Dixon
2024 J jnl
Who's asking? User personas and the mechanics of latent misalignment.
CoRR
Asma Ghandeharioun, Ann Yuan, Marius Guerard, Emily Reif, Michael A. Lepori, Lucas Dixon
2023 J jnl
AI Alignment in the Design of Interactive AI: Specification Alignment, Process Alignment, and Evaluation Support.
CoRR
Michael Terry, Chinmay Kulkarni, Martin Wattenberg, Lucas Dixon, Meredith Ringel Morris
2023 J jnl
Classifying constructive comments.
First Monday
Varada Kolhatkar, Nithum Thain, Jeffrey Sorensen, Lucas Dixon, Maite Taboada
2023 J jnl
Gradient-Based Automated Iterative Recovery for Parameter-Efficient Tuning.
CoRR
Maximilian Mozes, Tolga Bolukbasi, Ann Yuan, Frederick Liu, Nithum Thain, Lucas Dixon
2023 J jnl
Interpretability Illusions in the Generalization of Simplified Models.
CoRR
Dan Friedman, Andrew K. Lampinen, Lucas Dixon, Danqi Chen, Asma Ghandeharioun
2023 — conf
JUAGE at SemEval-2023 Task 10: Parameter Efficient Classification.
SemEval@ACL
Jeffrey Sorensen, Katerina Korre, John Pavlopoulos, Katrin Tomanek, Nithum Thain, Lucas Dixon, Léo Laugier
2023 — conf
KNNs of Semantic Encodings for Rating Prediction.
CIC
Léo Laugier, Raghuram Vadapalli, Thomas Bonald, Lucas Dixon
2023 J jnl
KNNs of Semantic Encodings for Rating Prediction.
CoRR
Léo Laugier, Thomas Bonald, Lucas Dixon, Raghuram Vadapalli
2023 A conf
Large Language Models are Competitive Near Cold-start Recommenders for Language- and Item-based Preferences.
RecSys
Scott Sanner, Krisztian Balog, Filip Radlinski, Ben Wedin, Lucas Dixon
2023 J jnl
Large Language Models are Competitive Near Cold-start Recommenders for Language- and Item-based Preferences.
CoRR
Scott Sanner, Krisztian Balog, Filip Radlinski, Ben Wedin, Lucas Dixon
2023 J jnl
Large Language Models for User Interest Journeys.
CoRR
Konstantina Christakopoulou, Alberto Lalama, Cj Adams, Iris Qu, Yifat Amir, Samer Chucri, Pierce Vollucci, Fabio Soldo, Dina Bseiso, Sarah Scodel, Lucas Dixon, Ed H. Chi, Minmin Chen
2023 J jnl
Simfluence: Modeling the Influence of Individual Training Examples by Simulating Training Runs.
CoRR
Kelvin Guu, Albert Webson, Ellie Pavlick, Lucas Dixon, Ian Tenney, Tolga Bolukbasi
2023 — conf
Towards Agile Text Classifiers for Everyone.
EMNLP (Findings)
Maximilian Mozes, Jessica Hoffmann, Katrin Tomanek, Muhamed Kouate, Nithum Thain, Ann Yuan, Tolga Bolukbasi, Lucas Dixon
2023 J jnl
Towards Agile Text Classifiers for Everyone.
CoRR
Maximilian Mozes, Jessica Hoffmann, Katrin Tomanek, Muhamed Kouate, Nithum Thain, Ann Yuan, Tolga Bolukbasi, Lucas Dixon
2022 J jnl
Basic Elements of Logical Graphs.
CoRR
Lucas Dixon
2022 A* conf
Beyond Rewards: a Hierarchical Perspective on Offline Multiagent Behavioral Analysis.
NeurIPS
Shayegan Omidshafiei, Andrei Kapishnikov, Yannick Assogba, Lucas Dixon, Been Kim
2022 J jnl
Beyond Rewards: a Hierarchical Perspective on Offline Multiagent Behavioral Analysis.
CoRR
Shayegan Omidshafiei, Andrei Kapishnikov, Yannick Assogba, Lucas Dixon, Been Kim
2022 A* conf
GLaM: Efficient Scaling of Language Models with Mixture-of-Experts.
ICML
Nan Du, Yanping Huang, Andrew M. Dai, Simon Tong, Dmitry Lepikhin, Yuanzhong Xu, Maxim Krikun, Yanqi Zhou, Adams Wei Yu, Orhan Firat, Barret Zoph, Liam Fedus, Maarten P. Bosma, Zongwei Zhou, Tao Wang, Yu Emma Wang, Kellie Webster, Marie Pellat, Kevin Robinson, Kathleen S. Meier-Hellstern, Toju Duke, Lucas Dixon, Kun Zhang, Quoc V. Le, Yonghui Wu, Zhifeng Chen, Claire Cui
2022 A* conf
On Natural Language User Profiles for Transparent and Scrutable Recommendation.
SIGIR
Filip Radlinski, Krisztian Balog, Fernando Diaz, Lucas Dixon, Ben Wedin
2022 J jnl
On Natural Language User Profiles for Transparent and Scrutable Recommendation.
CoRR
Filip Radlinski, Krisztian Balog, Fernando Diaz, Lucas Dixon, Ben Wedin
2022 J jnl
Toxicity detection sensitive to conversational context.
First Monday
Alexandros Xenos, John Pavlopoulos, Ion Androutsopoulos, Lucas Dixon, Jeffrey Sorensen, Léo Laugier
2021 J jnl
Augmenting the User-Item Graph with Textual Similarity Models.
CoRR
Federico López, Martin Scholz, Jessica Yung, Marie Pellat, Michael Strube, Lucas Dixon
2021 A conf
Civil Rephrases Of Toxic Texts With Self-Supervised Transformers.
EACL
Léo Laugier, John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon
2021 J jnl
Civil Rephrases Of Toxic Texts With Self-Supervised Transformers.
CoRR
Léo Laugier, John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon
2021 J jnl
GLaM: Efficient Scaling of Language Models with Mixture-of-Experts.
CoRR
Nan Du, Yanping Huang, Andrew M. Dai, Simon Tong, Dmitry Lepikhin, Yuanzhong Xu, Maxim Krikun, Yanqi Zhou, Adams Wei Yu, Orhan Firat, Barret Zoph, Liam Fedus, Maarten Bosma, Zongwei Zhou, Tao Wang, Yu Emma Wang, Kellie Webster, Marie Pellat, Kevin Robinson, Kathy Meier-Hellstern, Toju Duke, Lucas Dixon, Kun Zhang, Quoc V. Le, Yonghui Wu, Zhifeng Chen, Claire Cui
2021 J jnl
Toxicity Detection can be Sensitive to the Conversational Context.
CoRR
Alexandros Xenos, John Pavlopoulos, Ion Androutsopoulos, Lucas Dixon, Jeffrey Sorensen, Léo Laugier
2020 J jnl
Classifying Constructive Comments.
CoRR
Varada Kolhatkar, Nithum Thain, Jeffrey Sorensen, Lucas Dixon, Maite Taboada
2020 J jnl
Six Attributes of Unhealthy Conversation.
CoRR
Ilan Price, Jordan Gifford-Moore, Jory Flemming, Saul Musker, Maayan Roichman, Guillaume Sylvain, Nithum Thain, Lucas Dixon, Jeffrey Sorensen
2020 — conf
Six Attributes of Unhealthy Conversations.
WOAH
Ilan Price, Jordan Gifford-Moore, Jory Flemming, Saul Musker, Maayan Roichman, Guillaume Sylvain, Nithum Thain, Lucas Dixon, Jeffrey Sorensen
2020 A* conf
Toxicity Detection: Does Context Really Matter?
ACL
John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon, Nithum Thain, Ion Androutsopoulos
2020 J jnl
Toxicity Detection: Does Context Really Matter?
CoRR
John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon, Nithum Thain, Ion Androutsopoulos
2019 — conf
ConvAI at SemEval-2019 Task 6: Offensive Language Identification and Categorization with Perspective and BERT.
SemEval@NAACL-HLT
John Pavlopoulos, Nithum Thain, Lucas Dixon, Ion Androutsopoulos
2019 — conf
Crowdsourcing Subjective Tasks: The Case Study of Understanding Toxicity in Online Discussions.
WWW (Companion Volume)
Lora Aroyo, Lucas Dixon, Nithum Thain, Olivia Redfield, Rachel Rosen
2019 J jnl
Limitations of Pinned AUC for Measuring Unintended Bias.
CoRR
Daniel Borkan, Lucas Dixon, John Li, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
2019 — conf
Nuanced Metrics for Measuring Unintended Bias with Real Data for Text Classification.
WWW (Companion Volume)
Daniel Borkan, Lucas Dixon, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
2019 J jnl
Nuanced Metrics for Measuring Unintended Bias with Real Data for Text Classification.
CoRR
Daniel Borkan, Lucas Dixon, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
2018 — conf
Conversations Gone Awry: Detecting Early Signs of Conversational Failure.
ACL (1)
Justine Zhang, Jonathan P. Chang, Cristian Danescu-Niculescu-Mizil, Lucas Dixon, Yiqing Hua, Dario Taraborelli, Nithum Thain
2018 J jnl
Conversations Gone Awry: Detecting Early Signs of Conversational Failure.
CoRR
Justine Zhang, Jonathan P. Chang, Cristian Danescu-Niculescu-Mizil, Lucas Dixon, Yiqing Hua, Nithum Thain, Dario Taraborelli
2018 — conf
Managing Deviant Behavior in Online Communities III.
CHI Extended Abstracts
Amy S. Bruckman, Jennifer E. Below, Lucas Dixon, Casey Fiesler, Eric E. Gilbert, Sarah A. Gilbert, J. Nathan Matias
2018 C conf
Measuring and Mitigating Unintended Bias in Text Classification.
AIES
Lucas Dixon, John Li, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
2018 A* conf
WikiConv: A Corpus of the Complete Conversational History of a Large Online Collaborative Community.
EMNLP
Yiqing Hua, Cristian Danescu-Niculescu-Mizil, Dario Taraborelli, Nithum Thain, Jeffery Sorensen, Lucas Dixon
2018 J jnl
WikiConv: A Corpus of the Complete Conversational History of a Large Online Collaborative Community.
CoRR
Yiqing Hua, Cristian Danescu-Niculescu-Mizil, Dario Taraborelli, Nithum Thain, Jeffery Sorensen, Lucas Dixon
2017 A* conf
Ex Machina: Personal Attacks Seen at Scale.
WWW
Ellery Wulczyn, Nithum Thain, Lucas Dixon
2016 J jnl
Ex Machina: Personal Attacks Seen at Scale.
CoRR
Ellery Wulczyn, Nithum Thain, Lucas Dixon
2016 J jnl
Network Traffic Obfuscation and Automated Internet Censorship.
CoRR
Lucas Dixon, Thomas Ristenpart, Thomas Shrimpton
2016 J jnl
Network Traffic Obfuscation and Automated Internet Censorship.
IEEE Secur. Priv.
Lucas Dixon, Thomas Ristenpart, Thomas Shrimpton
2015 J jnl
The Theory behind Theory Mine.
IEEE Intell. Syst.
Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland
2013 J jnl
Open-graphs and monoidal theories.
Math. Struct. Comput. Sci.
Lucas Dixon, Aleks Kissinger
2012 J jnl
Scheme-based theorem discovery and concept invention.
Expert Syst. Appl.
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
2011 J jnl
Conjecture Synthesis for Inductive Theories.
J. Autom. Reason.
Moa Johansson, Lucas Dixon, Alan Bundy
2011 — conf
Towards Formal Proof Script Refactoring.
Calculemus/MKM
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov
2010 B conf
Case-Analysis for Rippling and Inductive Proof.
ITP
Moa Johansson, Lucas Dixon, Alan Bundy
2010 — conf
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.
Verification, Induction, Termination Analysis
Moa Johansson, Lucas Dixon, Alan Bundy
2010 — conf
Open Graphs and Computational Reasoning
DCM
Lucas Dixon, Ross Duncan, Aleks Kissinger
2010 J jnl
Open Graphs and Monoidal Theories
CoRR
Lucas Dixon, Aleks Kissinger
2010 — conf
Refinement and Term Synthesis in Loop Invariant Generation.
WING@ETAPS/IJCAR
Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey
2010 — conf
Scheme-Based Synthesis of Inductive Theories.
MICAI (1)
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
2009 J jnl
Graphical Reasoning in Compact Closed Categories for Quantum Computation
CoRR
Lucas Dixon, Ross Duncan
2009 J jnl
Graphical reasoning in compact closed categories for quantum computation.
Ann. Math. Artif. Intell.
Lucas Dixon, Ross Duncan
2009 — ed.
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Calculemus/MKM
Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt
2009 J jnl
Plans, Actions and Dialogues Using Linear Logic.
J. Log. Lang. Inf.
Lucas Dixon, Alan Smaill, Tracy Tsang
2008 — conf
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.
AISC/MKM/Calculemus
Lucas Dixon, Ross Duncan
2006 — —
A proof planning framework for Isabelle.
Lucas Dixon
2006 J jnl
A proof-centric approach to mathematical assistants.
J. Appl. Log.
Lucas Dixon, Jacques D. Fleuriot
2006 — conf
Best-First Rippling.
Reasoning, Action and Interaction in AI Theories and Systems
Moa Johansson, Alan Bundy, Lucas Dixon
2005 — conf
Constructing Induction Rules for Deductive Synthesis Proofs.
CLASE
Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
2005 B conf
Deductive synthesis of workflows for e-Science.
CCGRID
Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
2004 — conf
Higher Order Rippling in IsaPlanner.
TPHOLs
Lucas Dixon, Jacques D. Fleuriot
2003 A conf
IsaPlanner: A Prototype Proof Planner in Isabelle.
CADE
Lucas Dixon, Jacques D. Fleuriot