English
Related papers

Related papers: EFT Workshop at Notre Dame

200 papers

Parameter-Efficient Fine-Tuning (PEFT) has become a dominant paradigm for deploying LLMs in multi-task scenarios due to its extreme parameter efficiency. While Mixture-of-Experts (MoE) based LoRA variants have achieved promising results by…

Computation and Language · Computer Science 2026-03-16 Jia-Chen Zhang , Zhen-Wei Yan , Yu-Jie Xiong , Chun-Ming Xia

This paper follows the inaugural talk one of the authors (LT) gave at the opening of the ECT* workshop with the same title, which he co-organized in Trento, Italy, November 5-9, 2018. As such it follows the ideas expressed there, which were…

Nuclear Experiment · Physics 2019-11-15 Livius Trache , Florin Carstoiu

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Programming Languages · Computer Science 2016-02-03 Pavol Černý , Viktor Kuncak , Madhusudan Parthasarathy

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

Logic in Computer Science · Computer Science 2022-12-22 Reiko Heckel , Christopher M. Poskitt

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2016-11-23 Ruzica Piskac , Rayna Dimitrova

In the near future, fundamental interactions at high-energy scales may be most efficiently studied via precision measurements at low energies. A universal language to assemble and interpret precision measurements is the so-called SMEFT,…

High Energy Physics - Phenomenology · Physics 2018-05-10 Adam Falkowski , Giovanni Grilli di Cortona , Zahra Tabrizi

This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated Deduction (CADE 2015) on August 2-3, 2015 in Berlin. The PxTP…

Logic in Computer Science · Computer Science 2015-07-31 Cezary Kaliszyk , Andrei Paskevich

One of us (MEC) developed a hands-on workbook for density-functional theory (DFT) during the summer of 2020. The idea was to have something that could be used to provide practical teaching for students at the Masters or advanced…

Physics Education · Physics 2023-02-28 Nabila B. Oozeer , Abraham Ponra , Anne Justine Etindele , Mark E. Casida

Supervised fine-tuning (SFT) is a critical step in aligning large language models (LLMs) with human instructions and values, yet many aspects of SFT remain poorly understood. We trained a wide range of base models on a variety of datasets…

Computation and Language · Computer Science 2025-10-31 Yuto Harada , Yusuke Yamauchi , Yusuke Oda , Yohei Oseki , Yusuke Miyao , Yu Takagi

The BUQEYE model for correlated effective field theory (EFT) truncation errors assumes a regular pattern of dimensionless coefficients extracted from order-by-order observable calculations. This enables results from lower orders to inform…

Nuclear Theory · Physics 2025-08-26 P. J. Millican , R. J. Furnstahl , J. A. Melendez , D. R. Phillips

We argue that the technical foundations of non-fungible tokens (NFTs) remain inadequately understood. Prior research has focused on market dynamics, user behavior, and isolated security incidents, yet systematic analysis of the standards…

Cryptography and Security · Computer Science 2025-08-12 Minfeng Qi , Qin Wang , Guangsheng Yu , Ruiqiang Li , Victor Zhou , Shiping Chen

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

Programming Languages · Computer Science 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a satellite event of the European Joint Conferences on Theory…

Programming Languages · Computer Science 2014-06-09 Paul Levy , Neel Krishnaswami

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in…

Logic in Computer Science · Computer Science 2024-07-09 Florian Rabe , Claudio Sacerdoti Coen

We study Lagrangian Perturbation Theory (LPT) and its regularization in the Effective Field Theory (EFT) approach. We evaluate the LPT displacement with the same phases as a corresponding $N$-body simulation, which allows us to compare…

Cosmology and Nongalactic Astrophysics · Physics 2016-03-23 Tobias Baldauf , Emmanuel Schaan , Matias Zaldarriaga

Effective field theory (EFT) approaches are widely used at the LHC, such that it is important to study their validity, and ease of matching to specific new physics models. In this paper, we consider an extension of the SM in which a top…

High Energy Physics - Phenomenology · Physics 2020-03-04 Christoph Englert , Peter Galler , Chris D. White

Transformer-based Language Models' computation and memory overhead increase quadratically as a function of sequence length. The quadratic cost poses challenges when employing LLMs for processing long sequences. In this work, we introduce…

Computation and Language · Computer Science 2025-10-23 Kiarash Zahirnia , Zahra Golpayegani , Walid Ahmed , Yang Liu

Post-training has demonstrated its importance in enhancing the reasoning capabilities of large language models (LLMs). The primary post-training methods can be categorized into supervised fine-tuning (SFT) and reinforcement fine-tuning…

Machine Learning · Computer Science 2025-10-21 Mingyang Liu , Gabriele Farina , Asuman Ozdaglar

This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on June 22, 2019, in Vancouver, Canada. The workshop was…

Logic in Computer Science · Computer Science 2019-10-22 Dale Miller , Ivan Scagnetto

We report on the results of the 10th Non-LTE code comparison workshop, which was held at the University of San Diego campus November 28 through December 1, 2017. Non-equilibrium collisional-radiative models predict the electronic state…

Plasma Physics · Physics 2020-02-26 S. B. Hansen , H. -K. Chung , C. J. Fontes , Yu. Ralchenko , H. A. Scott , E. Stambulchik