English
Related papers

Related papers: Computing Tools for the SMEFT

200 papers

Linear Standard Model (SM) extensions, defined as new particles that can couple linearly to SM fields, form a motivated and finite set of simplified models for exploring phenomenology Beyond the SM (BSM). Heavy BSM particles may be…

High Energy Physics - Phenomenology · Physics 2025-09-26 John Gargalionis , Jérémie Quevillon , Pham Ngoc Hoa Vuong , Tevong You

This volume contains the proceedings of the 2nd WorkShop on Formal Methods in the Development of Software (WS-FMDS 2012). The workshop was held in Paris, France on August 30th, 2012 as a satellite event to the 18th International Symposium…

Software Engineering · Computer Science 2012-07-10 César Andrés , Luis Llana

The Standard Model effective field theory (SMEFT) provides a general framework to include the dynamics of the beyond standard model physics residing at a certain higher energy scale $\Lambda$. We study the top-quark production along with a…

High Energy Physics - Phenomenology · Physics 2022-12-07 Monoranjan Guchait , Arnab Roy

Standard Model (SM) of particle physics has achieved enormous success in describing the interactions among the known fundamental constituents of nature, yet it fails to describe phenomena for which there is very strong experimental…

High Energy Physics - Phenomenology · Physics 2021-11-17 Subhaditya Bhattacharya , Jose Wudka

This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in Berlin, Germany. The workshop was a one-day satellite event…

Logic in Computer Science · Computer Science 2015-07-29 Iliano Cervesato , Kaustuv Chaudhuri

We investigate constraints on couplings of Standard Model effective field theory (SMEFT) operators contributing to $Wtb$ effective vertex at tree level. We study the one-loop level impact of these couplings on the low-energy flavour…

High Energy Physics - Phenomenology · Physics 2025-10-15 Subhajit Kala , Lipika Kolay , Lopamudra Mukherjee , Soumitra Nandi

This paper presents a systematic overview of parameter-efficient fine-tuning methods, covering over 50 papers published between early 2019 and mid-2024. These methods aim to address the challenges of fine-tuning large language models by…

Computation and Language · Computer Science 2024-11-25 Vladislav Lialin , Vijeta Deshpande , Xiaowei Yao , Anna Rumshisky

The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them…

Programming Languages · Computer Science 2018-07-11 Robert Atkey , Sam Lindley

This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event, on April 6, 2014, in Grenoble (France). High levels of…

Software Engineering · Computer Science 2014-04-24 Catherine Dubois , Dimitra Giannakopoulou , Dominique Méry

Parameter-Efficient Fine-Tuning (PEFT) is an efficient alternative to full scale fine-tuning, gaining popularity recently. With pre-trained model sizes growing exponentially, PEFT can be effectively utilized to fine-tune compact modules,…

Machine Learning · Computer Science 2025-01-27 Mann Patel , Divyajyoti Panda , Hilay Mehta , Parth Patel , Dhruv Parikh

A model-independent anatomy of $\Delta F= 2$ transitions in the context of the Weak Effective Theory (WET) below the electroweak scale (EW) and the Standard Model Effective Field Theory (SMEFT) above the EW scale is discussed. Two master…

High Energy Physics - Phenomenology · Physics 2022-02-22 Jason Aebischer

This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on Theory and Practice of Software. The MARS workshop brings…

Logic in Computer Science · Computer Science 2020-04-28 Ansgar Fehnker , Hubert Garavel

The intersection of physics and machine learning has given rise to the physics-enhanced machine learning (PEML) paradigm, aiming to improve the capabilities and reduce the individual shortcomings of data- or physics-only methods. In this…

Machine Learning · Computer Science 2024-04-23 Marcus Haywood-Alexander , Wei Liu , Kiran Bacsa , Zhilu Lai , Eleni Chatzi

This document describes the findings of the Second Workshop on Neural Machine Translation and Generation, held in concert with the annual conference of the Association for Computational Linguistics (ACL 2018). First, we summarize the…

Computation and Language · Computer Science 2018-06-20 Alexandra Birch , Andrew Finch , Minh-Thang Luong , Graham Neubig , Yusuke Oda

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to…

Logic in Computer Science · Computer Science 2011-11-01 Herman Geuvers , Gopalan Nadathur

This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on June 22, 2015, in Oslo (Norway). High levels of safety,…

Programming Languages · Computer Science 2015-08-17 Catherine Dubois , Paolo Masci , Dominique Méry

As the cost of training ever larger language models has grown, so has the interest in reusing previously learnt knowledge. Transfer learning methods have shown how reusing non-task-specific knowledge can help in subsequent task-specific…

Computation and Language · Computer Science 2024-01-26 Mohammed Sabry , Anya Belz

This paper delves into the pressing need in Parameter-Efficient Fine-Tuning (PEFT) for Large Language Models (LLMs). While LLMs possess remarkable capabilities, their extensive parameter requirements and associated computational demands…

Computation and Language · Computer Science 2023-11-23 Chengyu Wang , Junbing Yan , Wei Zhang , Jun Huang

Parameter-efficient fine-tuning (PEFT) has emerged as an effective method for adapting pre-trained language models to various tasks efficiently. Recently, there has been a growing interest in transferring knowledge from one or multiple…

Computation and Language · Computer Science 2024-06-07 Zhisheng Lin , Han Fu , Chenghao Liu , Zhuo Li , Jianling Sun

Large language models have recently surpassed specialized systems on code generation, yet their effectiveness on other code-analysis tasks remains less clear. At the same time, multi-task learning offers a way to unify diverse objectives…

Software Engineering · Computer Science 2026-03-12 Amal Akli , Maxime Cordy , Mike Papadakis , Yves Le Traon