中文
相关论文

相关论文: Computing Tools for the SMEFT

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

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…

高能物理 - 唯象学 · 物理学 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…

计算与语言 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

高能物理 - 实验 · 物理学 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$…

高能物理 - 唯象学 · 物理学 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…

形式语言与自动机理论 · 计算机科学 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)…

计算与语言 · 计算机科学 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…

高能物理 - 唯象学 · 物理学 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…

机器学习 · 计算机科学 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…

高能物理 - 唯象学 · 物理学 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…

计算与语言 · 计算机科学 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…

编程语言 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

高能物理 - 唯象学 · 物理学 2021-03-23 Supratim Das Bakshi , Joydeep Chakrabortty , Suraj Prakash , Shakeel Ur Rahaman , Michael Spannowsky