English
Related papers

Related papers: Computing Tools for the SMEFT

200 papers

Proceedings of the workshop "Boundary and Defect Conformal Field Theory: Open Problems and Applications," Chicheley Hall, Buckinghamshire, UK, 7-8 Sept. 2017.

This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018…

Logic in Computer Science · Computer Science 2019-04-23 Michele Pagani , Sandra Alves

Pre-trained models (PTMs) have achieved great success in various Software Engineering (SE) downstream tasks following the ``pre-train then fine-tune'' paradigm. As fully fine-tuning all parameters of PTMs can be computationally expensive, a…

Software Engineering · Computer Science 2023-12-27 Wentao Zou , Qi Li , Jidong Ge , Chuanyi Li , Xiaoyu Shen , Liguo Huang , Bin Luo

This document describes the findings of the Third Workshop on Neural Generation and Translation, held in concert with the annual conference of the Empirical Methods in Natural Language Processing (EMNLP 2019). First, we summarize the…

Computation and Language · Computer Science 2019-10-31 Hiroaki Hayashi , Yusuke Oda , Alexandra Birch , Ioannis Konstas , Andrew Finch , Minh-Thang Luong , Graham Neubig , Katsuhito Sudoh

We present DsixTools, a Mathematica package for the handling of the dimension-six Standard Model Effective Field Theory. Among other features, DsixTools allows the user to perform the full one-loop Renormalization Group Evolution of the…

High Energy Physics - Phenomenology · Physics 2017-06-23 Alejandro Celis , Javier Fuentes-Martin , Avelino Vicente , Javier Virto

Parameter-efficient fine-tuning (PEFT) has become a common method for fine-tuning large language models, where a base model can serve multiple users through PEFT module switching. To enhance user experience, base models require periodic…

Computation and Language · Computer Science 2025-06-10 Naibin Gu , Peng Fu , Xiyu Liu , Ke Ma , Zheng Lin , Weiping Wang

Type theories, logical frameworks and meta-languages form a common foundation for designing, implementing, and reasoning about formal languages and their semantics. They are central to the design of modern programming languages, certified…

Logic in Computer Science · Computer Science 2010-09-14 Karl Crary , Marino Miculan

These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 July as a satellite event of the FSCD conference. The program…

Logic in Computer Science · Computer Science 2025-10-14 Kaustuv Chaudhuri , Daniele Nantes-Sobrinho

This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…

Logic in Computer Science · Computer Science 2018-02-19 Horatiu Cirstea , David Sabel

With no direct evidence for new physics at the TeV scale, deviations from the Standard Model (SM) can be explored systematically through Effective Field Theories (EFTs) such as the Standard Model EFT (SMEFT). SMEFT extends the SM by…

High Energy Physics - Experiment · Physics 2026-02-04 Dongwon Kim

The Standard Model Effective Field Theory (SMEFT) provides a systematic framework to probe indirect effects of heavy new physics via precision measurements. While SMEFT constraints have been extensively studied using purely leptonic $Z$…

High Energy Physics - Phenomenology · Physics 2026-05-13 Zijian Wang , Tianyi Yang , Tianyu Mu , Andrew Levin , Qiang Li

The Fifteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2025) was held in Loughborough, UK, on July 21 and 22, 2025, organized by the Department of Computer Science at Loughborough University and…

Formal Languages and Automata Theory · Computer Science 2025-07-21 Nelma Moreira , Luca Prigioniero

With the continuous growth in the number of parameters of transformer-based pretrained language models (PLMs), particularly the emergence of large language models (LLMs) with billions of parameters, many natural language processing (NLP)…

Computation and Language · Computer Science 2023-12-20 Lingling Xu , Haoran Xie , Si-Zhao Joe Qin , Xiaohui Tao , Fu Lee Wang

We verify Standard Model Effective Field Theory Ward identities to one loop order when background field gauge is used to quantize the theory. The results we present lay the foundation of next to leading order automatic generation of results…

High Energy Physics - Phenomenology · Physics 2021-06-23 Tyler Corbett , Michael Trott

The rise of deep learning has marked significant progress in fields such as computer vision, natural language processing, and medical imaging, primarily through the adaptation of pre-trained models for specific tasks. Traditional…

Machine Learning · Computer Science 2024-04-25 Charith Chandra Sai Balne , Sreyoshi Bhaduri , Tamoghna Roy , Vinija Jain , Aman Chadha

We present a novel strategy to uncover indirect signs of new physics in collider data using the Standard Model Effective Field Theory (SMEFT) framework, offering notably improved sensitivity compared to traditional global analyses. Our…

High Energy Physics - Phenomenology · Physics 2025-11-25 Martin Hirsch , Luca Mantani , Veronica Sanz

Supervised fine-tuning (SFT) is a common method to enhance the tool calling capabilities of Large Language Models (LLMs), with the training data often being synthesized. The current data synthesis process generally involves sampling a set…

Computation and Language · Computer Science 2025-03-18 Zezhong Wang , Xingshan Zeng , Weiwen Liu , Liangyou Li , Yasheng Wang , Lifeng Shang , Xin Jiang , Qun Liu , Kam-Fai Wong

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains revised selected papers that were initially presented at the 13th International Workshop on Trends in Functional Programming in Education (TFPIE…

Programming Languages · Computer Science 2024-07-10 Stephen Chang

This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the 29-30th of June, 2019, using the Zoom video conferencing…

Logic in Computer Science · Computer Science 2021-01-11 Claudio Sacerdoti Coen , Alwen Tiu

Effective Field Theories are an established framework to bridge the gap between UV and low energy theories. In the context of the Standard Model, the bottom-up approach extends its operator set and thus equips us to astutely probe its…

High Energy Physics - Phenomenology · Physics 2021-03-23 Supratim Das Bakshi , Joydeep Chakrabortty , Suraj Prakash , Shakeel Ur Rahaman , Michael Spannowsky