Lucas Dixon

According to our database, Lucas Dixon authored at least 60 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Influence and Fact Tracing for Large Language Model Pretraining.

Tyler A. Chang, Dheeraj Rajagopal, Tolga Bolukbasi, Lucas Dixon, Ian Tenney

CoRR, 2024

Who's asking? User personas and the mechanics of latent misalignment.

Asma Ghandeharioun, Ann Yuan, Marius Guerard, Emily Reif, Michael A. Lepori, Lucas Dixon

CoRR, 2024

Interactive Prompt Debugging with Sequence Salience.

Ian Tenney, Ryan Mullins, Bin Du, Shree Pandya, Minsuk Kahng, Lucas Dixon

CoRR, 2024

PERL: Parameter Efficient Reinforcement Learning from Human Feedback.

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

CoRR, 2024

Decoding-time Realignment of Language Models.

Tianlin Liu, Shangmin Guo, Leonardo Bianco, Daniele Calandriello, Quentin Berthet, Felipe Llinares-López, Jessica Hoffmann, Lucas Dixon, Michal Valko, Mathieu Blondel

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Patchscopes: A Unifying Framework for Inspecting Hidden Representations of Language Models.

Asma Ghandeharioun, Avi Caciularu, Adam Pearce, Lucas Dixon, Mor Geva

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Interpretability Illusions in the Generalization of Simplified Models.

Dan Friedman, Andrew Kyle Lampinen, Lucas Dixon, Danqi Chen, Asma Ghandeharioun

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Detecting Hallucination and Coverage Errors in Retrieval Augmented Generation for Controversial Topics.

Tyler A. Chang, Katrin Tomanek, Jessica Hoffmann, Nithum Thain, Erin MacMurray van Liemt, Kathleen S. Meier-Hellstern, Lucas Dixon

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

"We Need Structured Output": Towards User-centered Constraints on Large Language Model Output.

Michael Xieyang Liu, Frederick Liu, Alexander J. Fiannaca, Terry Koo, Lucas Dixon, Michael Terry, Carrie J. Cai

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024

LLM Comparator: Visual Analytics for Side-by-Side Evaluation of Large Language Models.

Minsuk Kahng, Ian Tenney, Mahima Pushkarna, Michael Xieyang Liu, James Wexler, Emily Reif, Krystal Kallarackal, Minsuk Chang, Michael Terry, Lucas Dixon

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024

2023

Classifying constructive comments.

Varada Kolhatkar, Nithum Thain, Jeffrey Sorensen, Lucas Dixon, Maite Taboada

First Monday, 2023

AI Alignment in the Design of Interactive AI: Specification Alignment, Process Alignment, and Evaluation Support.

Michael Terry, Chinmay Kulkarni, Martin Wattenberg, Lucas Dixon, Meredith Ringel Morris

CoRR, 2023

Large Language Models for User Interest Journeys.

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

CoRR, 2023

Simfluence: Modeling the Influence of Individual Training Examples by Simulating Training Runs.

Kelvin Guu, Albert Webson, Ellie Pavlick, Lucas Dixon, Ian Tenney, Tolga Bolukbasi

CoRR, 2023

Gradient-Based Automated Iterative Recovery for Parameter-Efficient Tuning.

Maximilian Mozes, Tolga Bolukbasi, Ann Yuan, Frederick Liu, Nithum Thain, Lucas Dixon

CoRR, 2023

JUAGE at SemEval-2023 Task 10: Parameter Efficient Classification.

Jeffrey Sorensen, Katerina Korre, John Pavlopoulos, Katrin Tomanek, Nithum Thain, Lucas Dixon, Léo Laugier

Proceedings of the The 17th International Workshop on Semantic Evaluation, 2023

Large Language Models are Competitive Near Cold-start Recommenders for Language- and Item-based Preferences.

Scott Sanner, Krisztian Balog, Filip Radlinski, Ben Wedin, Lucas Dixon

Proceedings of the 17th ACM Conference on Recommender Systems, 2023

Towards Agile Text Classifiers for Everyone.

Maximilian Mozes, Jessica Hoffmann, Katrin Tomanek, Muhamed Kouate, Nithum Thain, Ann Yuan, Tolga Bolukbasi, Lucas Dixon

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

KNNs of Semantic Encodings for Rating Prediction.

Léo Laugier, Raghuram Vadapalli, Thomas Bonald, Lucas Dixon

Proceedings of the 9th IEEE International Conference on Collaboration and Internet Computing, 2023

2022

Toxicity detection sensitive to conversational context.

Alexandros Xenos, John Pavlopoulos, Ion Androutsopoulos, Lucas Dixon, Jeffrey Sorensen, Léo Laugier

First Monday, 2022

Basic Elements of Logical Graphs.

Lucas Dixon

CoRR, 2022

On Natural Language User Profiles for Transparent and Scrutable Recommendation.

Filip Radlinski, Krisztian Balog, Fernando Diaz, Lucas Dixon, Ben Wedin

Proceedings of the SIGIR '22: The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11, 2022

Beyond Rewards: a Hierarchical Perspective on Offline Multiagent Behavioral Analysis.

Shayegan Omidshafiei, Andrei Kapishnikov, Yannick Assogba, Lucas Dixon, Been Kim

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

GLaM: Efficient Scaling of Language Models with Mixture-of-Experts.

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

Proceedings of the International Conference on Machine Learning, 2022

2021

Toxicity Detection can be Sensitive to the Conversational Context.

Alexandros Xenos, John Pavlopoulos, Ion Androutsopoulos, Lucas Dixon, Jeffrey Sorensen, Léo Laugier

CoRR, 2021

Augmenting the User-Item Graph with Textual Similarity Models.

Federico López, Martin Scholz, Jessica Yung, Marie Pellat, Michael Strube, Lucas Dixon

CoRR, 2021

Civil Rephrases Of Toxic Texts With Self-Supervised Transformers.

Léo Laugier, John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon

Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, 2021

2020

Six Attributes of Unhealthy Conversation.

Ilan Price, Jordan Gifford-Moore, Jory Flemming, Saul Musker, Maayan Roichman, Guillaume Sylvain, Nithum Thain, Lucas Dixon, Jeffrey Sorensen

CoRR, 2020

Toxicity Detection: Does Context Really Matter?

John Pavlopoulos, Jeffrey Sorensen, Lucas Dixon, Nithum Thain, Ion Androutsopoulos

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

Six Attributes of Unhealthy Conversations.

Ilan Price, Jordan Gifford-Moore, Jory Flemming, Saul Musker, Maayan Roichman, Guillaume Sylvain, Nithum Thain, Lucas Dixon, Jeffrey Sorensen

Proceedings of the Fourth Workshop on Online Abuse and Harms, 2020

2019

Limitations of Pinned AUC for Measuring Unintended Bias.

Daniel Borkan, Lucas Dixon, John Li, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman

CoRR, 2019

Nuanced Metrics for Measuring Unintended Bias with Real Data for Text Classification.

Daniel Borkan, Lucas Dixon, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman

Proceedings of the Companion of The 2019 World Wide Web Conference, 2019

Crowdsourcing Subjective Tasks: The Case Study of Understanding Toxicity in Online Discussions.

Lora Aroyo, Lucas Dixon, Nithum Thain, Olivia Redfield, Rachel Rosen

Proceedings of the Companion of The 2019 World Wide Web Conference, 2019

ConvAI at SemEval-2019 Task 6: Offensive Language Identification and Categorization with Perspective and BERT.

John Pavlopoulos, Nithum Thain, Lucas Dixon, Ion Androutsopoulos

Proceedings of the 13th International Workshop on Semantic Evaluation, 2019

2018

WikiConv: A Corpus of the Complete Conversational History of a Large Online Collaborative Community.

Yiqing Hua, Cristian Danescu-Niculescu-Mizil, Dario Taraborelli, Nithum Thain, Jeffery Sorensen, Lucas Dixon

Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

Managing Deviant Behavior in Online Communities III.

Amy S. Bruckman, Jennifer E. Below, Lucas Dixon, Casey Fiesler, Eric E. Gilbert, Sarah A. Gilbert, J. Nathan Matias

Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

Measuring and Mitigating Unintended Bias in Text Classification.

Lucas Dixon, John Li, Jeffrey Sorensen, Nithum Thain, Lucy Vasserman

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

Conversations Gone Awry: Detecting Early Signs of Conversational Failure.

Justine Zhang, Jonathan P. Chang, Cristian Danescu-Niculescu-Mizil, Lucas Dixon, Yiqing Hua, Dario Taraborelli, Nithum Thain

Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

2017

Ex Machina: Personal Attacks Seen at Scale.

Ellery Wulczyn, Nithum Thain, Lucas Dixon

Proceedings of the 26th International Conference on World Wide Web, 2017

2016

Network Traffic Obfuscation and Automated Internet Censorship.

Lucas Dixon, Thomas Ristenpart, Thomas Shrimpton

IEEE Secur. Priv., 2016

2015

The Theory behind Theory Mine.

Alan Bundy, Flaminia Cavallo, Lucas Dixon, Moa Johansson, Roy L. McCasland

IEEE Intell. Syst., 2015

2013

Open-graphs and monoidal theories.

Lucas Dixon, Aleks Kissinger

Math. Struct. Comput. Sci., 2013

2012

Scheme-based theorem discovery and concept invention.

Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy

Expert Syst. Appl., 2012

2011

Conjecture Synthesis for Inductive Theories.

Moa Johansson, Lucas Dixon, Alan Bundy

J. Autom. Reason., 2011

Towards Formal Proof Script Refactoring.

Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Open Graphs and Computational Reasoning

Lucas Dixon, Ross Duncan, Aleks Kissinger

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

Scheme-Based Synthesis of Inductive Theories.

Omar Montaño-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy

Proceedings of the Advances in Artificial Intelligence, 2010

Case-Analysis for Rippling and Inductive Proof.

Moa Johansson, Lucas Dixon, Alan Bundy

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Refinement and Term Synthesis in Loop Invariant Generation.

Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey

Proceedings of the Second International Workshop on Invariant Generation, 2010

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.

Moa Johansson, Lucas Dixon, Alan Bundy

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Plans, Actions and Dialogues Using Linear Logic.

Lucas Dixon, Alan Smaill, Tracy Tsang

J. Log. Lang. Inf., 2009

Graphical reasoning in compact closed categories for quantum computation.

Lucas Dixon, Ross Duncan

Ann. Math. Artif. Intell., 2009

2008

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.

Lucas Dixon, Ross Duncan

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2006

A proof planning framework for Isabelle.

Lucas Dixon

PhD thesis, 2006

A proof-centric approach to mathematical assistants.

Lucas Dixon, Jacques D. Fleuriot

J. Appl. Log., 2006

Best-First Rippling.

Moa Johansson, Alan Bundy, Lucas Dixon

Proceedings of the Reasoning, 2006

2005

Constructing Induction Rules for Deductive Synthesis Proofs.

Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

Deductive synthesis of workflows for e-Science.

Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004

Higher Order Rippling in IsaPlanner.

Lucas Dixon, Jacques D. Fleuriot

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2003

IsaPlanner: A Prototype Proof Planner in Isabelle.

Lucas Dixon, Jacques D. Fleuriot

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003