Lucas Dixon

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 56

Top Venues

CoRR

CHI Extended Abstracts

First Monday

WWW (Companion Volume)

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Minsuk Kahng, Ian Tenney, Mahima Pushkarna, Michael Xieyang Liu, James Wexler, Emily Reif, Krystal Kallarackal, Minsuk Chang, Michael Terry, Lucas Dixon
LLM Comparator: Visual Analytics for Side-by-Side Evaluation of Large Language Models. CoRR (2024)
Tyler A. Chang, Katrin Tomanek, Jessica Hoffmann, Nithum Thain, Erin MacMurray van Liemt, Kathleen S. Meier-Hellstern, Lucas Dixon
Detecting Hallucination and Coverage Errors in Retrieval Augmented Generation for Controversial Topics. LREC/COLING (2024)
Minsuk Kahng, Ian Tenney, Mahima Pushkarna, Michael Xieyang Liu, James Wexler, Emily Reif, Krystal Kallarackal, Minsuk Chang, Michael Terry, Lucas Dixon
LLM Comparator: Visual Analytics for Side-by-Side Evaluation of Large Language Models. CHI Extended Abstracts (2024)
Michael Xieyang Liu, Frederick Liu, Alexander J. Fiannaca, Terry Koo, Lucas Dixon, Michael Terry, Carrie J. Cai
"We Need Structured Output": Towards User-centered Constraints on Large Language Model Output. CHI Extended Abstracts (2024)
Tianlin Liu, Shangmin Guo, Leonardo Bianco, Daniele Calandriello, Quentin Berthet, Felipe Llinares, Jessica Hoffmann, Lucas Dixon, Michal Valko, Mathieu Blondel
Decoding-time Realignment of Language Models. CoRR (2024)
Ian Tenney, Ryan Mullins, Bin Du, Shree Pandya, Minsuk Kahng, Lucas Dixon
Interactive Prompt Debugging with Sequence Salience. CoRR (2024)
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
PERL: Parameter Efficient Reinforcement Learning from Human Feedback. CoRR (2024)
Asma Ghandeharioun, Avi Caciularu, Adam Pearce, Lucas Dixon, Mor Geva
Patchscopes: A Unifying Framework for Inspecting Hidden Representations of Language Models. CoRR (2024)
Asma Ghandeharioun, Ann Yuan, Marius Guerard, Emily Reif, Michael A. Lepori, Lucas Dixon
Who's asking? User personas and the mechanics of latent misalignment. CoRR (2024)
Tyler A. Chang, Katrin Tomanek, Jessica Hoffmann, Nithum Thain, Erin Van Liemt, Kathleen S. Meier-Hellstern, Lucas Dixon
Detecting Hallucination and Coverage Errors in Retrieval Augmented Generation for Controversial Topics. CoRR (2024)
Michael Xieyang Liu, Frederick Liu, Alexander J. Fiannaca, Terry Koo, Lucas Dixon, Michael Terry, Carrie J. Cai
"We Need Structured Output": Towards User-centered Constraints on Large Language Model Output. CoRR (2024)
Maximilian Mozes, Jessica Hoffmann, Katrin Tomanek, Muhamed Kouate, Nithum Thain, Ann Yuan, Tolga Bolukbasi, Lucas Dixon
Towards Agile Text Classifiers for Everyone. EMNLP (Findings) (2023)
Maximilian Mozes, Jessica Hoffmann, Katrin Tomanek, Muhamed Kouate, Nithum Thain, Ann Yuan, Tolga Bolukbasi, Lucas Dixon
Towards Agile Text Classifiers for Everyone. CoRR (2023)
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
Large Language Models for User Interest Journeys. CoRR (2023)
Varada Kolhatkar, Nithum Thain, Jeffrey Sorensen, Lucas Dixon, Maite Taboada
Classifying constructive comments. First Monday 28 (4) (2023)
Kelvin Guu, Albert Webson, Ellie Pavlick, Lucas Dixon, Ian Tenney, Tolga Bolukbasi
Simfluence: Modeling the Influence of Individual Training Examples by Simulating Training Runs. CoRR (2023)
Jeffrey Sorensen, Katerina Korre, John Pavlopoulos, Katrin Tomanek, Nithum Thain, Lucas Dixon, Leo Laugier
JUAGE at SemEval-2023 Task 10: Parameter Efficient Classification. SemEval@ACL (2023)
Dan Friedman, Andrew Lampinen, Lucas Dixon, Danqi Chen, Asma Ghandeharioun
Interpretability Illusions in the Generalization of Simplified Models. CoRR (2023)
Maximilian Mozes, Tolga Bolukbasi, Ann Yuan, Frederick Liu, Nithum Thain, Lucas Dixon
Gradient-Based Automated Iterative Recovery for Parameter-Efficient Tuning. CoRR (2023)
Léo Laugier, Raghuram Vadapalli, Thomas Bonald, Lucas Dixon
KNNs of Semantic Encodings for Rating Prediction. CIC (2023)
Leo Laugier, Thomas Bonald, Lucas Dixon, Raghuram Vadapalli
KNNs of Semantic Encodings for Rating Prediction. CoRR (2023)
Scott Sanner, Krisztian Balog, Filip Radlinski, Ben Wedin, Lucas Dixon
Large Language Models are Competitive Near Cold-start Recommenders for Language- and Item-based Preferences. CoRR (2023)
Michael Terry, Chinmay Kulkarni, Martin Wattenberg, Lucas Dixon, Meredith Ringel Morris
AI Alignment in the Design of Interactive AI: Specification Alignment, Process Alignment, and Evaluation Support. CoRR (2023)
Scott Sanner, Krisztian Balog, Filip Radlinski, Ben Wedin, Lucas Dixon
Large Language Models are Competitive Near Cold-start Recommenders for Language- and Item-based Preferences. RecSys (2023)
Shayegan Omidshafiei, Andrei Kapishnikov, Yannick Assogba, Lucas Dixon, Been Kim
Beyond Rewards: a Hierarchical Perspective on Offline Multiagent Behavioral Analysis. CoRR (2022)
Shayegan Omidshafiei, Andrei Kapishnikov, Yannick Assogba, Lucas Dixon, Been Kim
Beyond Rewards: a Hierarchical Perspective on Offline Multiagent Behavioral Analysis. NeurIPS (2022)
Filip Radlinski, Krisztian Balog, Fernando Diaz, Lucas Dixon, Ben Wedin
On Natural Language User Profiles for Transparent and Scrutable Recommendation. CoRR (2022)
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
GLaM: Efficient Scaling of Language Models with Mixture-of-Experts. ICML (2022)
Lucas Dixon
Basic Elements of Logical Graphs. CoRR (2022)
Filip Radlinski, Krisztian Balog, Fernando Diaz, Lucas Dixon, Ben Wedin
On Natural Language User Profiles for Transparent and Scrutable Recommendation. SIGIR (2022)
Alexandros Xenos, John Pavlopoulos, Ion Androutsopoulos, Lucas Dixon, Jeffrey Sorensen, Leo Laugier
Toxicity detection sensitive to conversational context. First Monday 27 (9) (2022)
Leo Laugier, John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon
Civil Rephrases Of Toxic Texts With Self-Supervised Transformers. CoRR (2021)
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
GLaM: Efficient Scaling of Language Models with Mixture-of-Experts. CoRR (2021)
Federico López, Martin Scholz, Jessica Yung, Marie Pellat, Michael Strube, Lucas Dixon
Augmenting the User-Item Graph with Textual Similarity Models. CoRR (2021)
Leo Laugier, John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon
Civil Rephrases Of Toxic Texts With Self-Supervised Transformers. EACL (2021)
Alexandros Xenos, John Pavlopoulos, Ion Androutsopoulos, Lucas Dixon, Jeffrey Sorensen, Leo Laugier
Toxicity Detection can be Sensitive to the Conversational Context. CoRR (2021)
John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon, Nithum Thain, Ion Androutsopoulos
Toxicity Detection: Does Context Really Matter? CoRR (2020)
Ilan Price, Jordan Gifford-Moore, Jory Flemming, Saul Musker, Maayan Roichman, Guillaume Sylvain, Nithum Thain, Lucas Dixon, Jeffrey Sorensen
Six Attributes of Unhealthy Conversations. WOAH (2020)
Varada Kolhatkar, Nithum Thain, Jeffrey Sorensen, Lucas Dixon, Maite Taboada
Classifying Constructive Comments. CoRR (2020)
Ilan Price, Jordan Gifford-Moore, Jory Flemming, Saul Musker, Maayan Roichman, Guillaume Sylvain, Nithum Thain, Lucas Dixon, Jeffrey Sorensen
Six Attributes of Unhealthy Conversation. CoRR (2020)
John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon, Nithum Thain, Ion Androutsopoulos
Toxicity Detection: Does Context Really Matter? ACL (2020)
Lora Aroyo, Lucas Dixon, Nithum Thain, Olivia Redfield, Rachel Rosen
Crowdsourcing Subjective Tasks: The Case Study of Understanding Toxicity in Online Discussions. WWW (Companion Volume) (2019)
Daniel Borkan, Lucas Dixon, John Li, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
Limitations of Pinned AUC for Measuring Unintended Bias. CoRR (2019)
Daniel Borkan, Lucas Dixon, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
Nuanced Metrics for Measuring Unintended Bias with Real Data for Text Classification. WWW (Companion Volume) (2019)
John Pavlopoulos, Nithum Thain, Lucas Dixon, Ion Androutsopoulos
ConvAI at SemEval-2019 Task 6: Offensive Language Identification and Categorization with Perspective and BERT. SemEval@NAACL-HLT (2019)
Daniel Borkan, Lucas Dixon, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
Nuanced Metrics for Measuring Unintended Bias with Real Data for Text Classification. CoRR (2019)
Yiqing Hua, Cristian Danescu-Niculescu-Mizil, Dario Taraborelli, Nithum Thain, Jeffery Sorensen, Lucas Dixon
WikiConv: A Corpus of the Complete Conversational History of a Large Online Collaborative Community. EMNLP (2018)
Justine Zhang, Jonathan P. Chang, Cristian Danescu-Niculescu-Mizil, Lucas Dixon, Yiqing Hua, Dario Taraborelli, Nithum Thain
Conversations Gone Awry: Detecting Early Signs of Conversational Failure. ACL (1) (2018)
Justine Zhang, Jonathan P. Chang, Cristian Danescu-Niculescu-Mizil, Lucas Dixon, Yiqing Hua, Nithum Thain, Dario Taraborelli
Conversations Gone Awry: Detecting Early Signs of Conversational Failure. CoRR (2018)
Lucas Dixon, John Li, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman
Measuring and Mitigating Unintended Bias in Text Classification. AIES (2018)
Yiqing Hua, Cristian Danescu-Niculescu-Mizil, Dario Taraborelli, Nithum Thain, Jeffery Sorensen, Lucas Dixon
WikiConv: A Corpus of the Complete Conversational History of a Large Online Collaborative Community. CoRR (2018)
Amy S. Bruckman, Jennifer E. Below, Lucas Dixon, Casey Fiesler, Eric E. Gilbert, Sarah A. Gilbert, J. Nathan Matias
Managing Deviant Behavior in Online Communities III. CHI Extended Abstracts (2018)
Ellery Wulczyn, Nithum Thain, Lucas Dixon
Ex Machina: Personal Attacks Seen at Scale. WWW (2017)
Ellery Wulczyn, Nithum Thain, Lucas Dixon
Ex Machina: Personal Attacks Seen at Scale. CoRR (2016)
Lucas Dixon, Thomas Ristenpart, Thomas Shrimpton
Network Traffic Obfuscation and Automated Internet Censorship. CoRR (2016)
Lucas Dixon, Thomas Ristenpart, Thomas Shrimpton
Network Traffic Obfuscation and Automated Internet Censorship. IEEE Secur. Priv. 14 (6) (2016)
Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland
The Theory behind Theory Mine. IEEE Intell. Syst. 30 (4) (2015)
Lucas Dixon, Aleks Kissinger
Open-graphs and monoidal theories. Math. Struct. Comput. Sci. 23 (2) (2013)
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39 (2) (2012)
Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov
Towards Formal Proof Script Refactoring. Calculemus/MKM (2011)
Moa Johansson, Lucas Dixon, Alan Bundy
Conjecture Synthesis for Inductive Theories. J. Autom. Reason. 47 (3) (2011)
Moa Johansson, Lucas Dixon, Alan Bundy
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis (2010)
Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey
Refinement and Term Synthesis in Loop Invariant Generation. WING@ETAPS/IJCAR (2010)
Lucas Dixon, Ross Duncan, Aleks Kissinger
Open Graphs and Computational Reasoning DCM (2010)
Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy
Scheme-Based Synthesis of Inductive Theories. MICAI (1) (2010)
Lucas Dixon, Aleks Kissinger
Open Graphs and Monoidal Theories CoRR (2010)
Moa Johansson, Lucas Dixon, Alan Bundy
Case-Analysis for Rippling and Inductive Proof. ITP (2010)
Lucas Dixon, Alan Smaill, Tracy Tsang
Plans, Actions and Dialogues Using Linear Logic. J. Log. Lang. Inf. 18 (2) (2009)
Lucas Dixon, Ross Duncan
Graphical Reasoning in Compact Closed Categories for Quantum Computation CoRR (2009)
Lucas Dixon, Ross Duncan
Graphical reasoning in compact closed categories for quantum computation. Ann. Math. Artif. Intell. 56 (1) (2009)
Lucas Dixon, Ross Duncan
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. AISC/MKM/Calculemus (2008)
Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
Constructing Induction Rules for Deductive Synthesis Proofs. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Lucas Dixon, Jacques D. Fleuriot
A proof-centric approach to mathematical assistants. J. Appl. Log. 4 (4) (2006)
Moa Johansson, Alan Bundy, Lucas Dixon
Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
Deductive synthesis of workflows for e-Science. CCGRID (2005)
Lucas Dixon, Jacques D. Fleuriot
Higher Order Rippling in IsaPlanner. TPHOLs (2004)
Lucas Dixon, Jacques D. Fleuriot
IsaPlanner: A Prototype Proof Planner in Isabelle. CADE (2003)

Lucas Dixon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lucas Dixon