Related papers: Cincinnati lectures on Bellman functions
Recent advances in table understanding have focused on instruction-tuning large language models (LLMs) for table-related tasks. However, existing research has overlooked the impact of hyperparameter choices, and also lacks a comprehensive…
This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software,…
A brief review of the Wigner functions method in curved space-time. Contribution to the 3rd International Wigner Symposium, 5th-11th September 1993, Oxford, UK.
We propose an in-silico experiment to introduce classical density functional theory (cDFT). Den- sity functional theories, whether quantum or classical, rely on abstract concepts that are non- intuitive. However, they are at the heart of…
In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the…
Effective field theory (EFT) methods are applied to density functional theory (DFT) as part of a program to systematically go beyond mean-field approaches to medium and heavy nuclei. A system of fermions with short-range, natural…
According to recent arguments by the author, the conformal field theory (CFT) describing the scaling limit of the integer quantum Hall plateau transition is a deformed level-4 Wess-Zumino-Novikov-Witten model with Riemannian target space…
The continual learning (CL) ability is vital for deploying large language models (LLMs) in the dynamic world. Existing methods devise the learning module to acquire task-specific knowledge with parameter-efficient tuning (PET) block and the…
As part of a large-scale assessment project at a large university, we administered weekly pre-tests and bi-weekly post-tests in the recitation sections of our introductory classes over four semesters from Spring 2010 through Fall 2011. The…
Let $f$ be a function on a bounded domain $\Omega \subseteq \mathbb{R}^n$ and $\delta$ be a positive function on $\Omega$ such that $B(x,\delta(x))\subseteq \Omega$. Let $\sigma(f)(x)$ be the average of $f$ over the ball $B(x,\delta(x))$.…
These are notes for the course CS-172 I first taught in the Fall 1986 at UC Berkeley and subsequently at Boston University. The goal was to introduce the undergraduates to basic concepts of Theory of Computation and to provoke their…
This is an expanded version of the author's lecture at the XX Congresso U.M.I., held in Siena in September 2015. After a brief review of L-functions, we turn to the classical converse theorems of H.Hamburger, E.Hecke and A.Weil, and to some…
These lecture notes where presented as a course of the CIMPA summer school in Manila, July 20-30, 2009, Semidefinite programming in algebraic combinatorics. This version is an update June 2010.
Reliable and validated assessments of introductory physics have been instrumental in driving curricular and pedagogical reforms that lead to improved student learning. As part of an effort to systematically improve our sophomore-level…
Large Language Models (LLMs) are increasingly integrated into the software engineering ecosystem. Their test-time compute (TTC) reasoning capabilities show significant potential for understanding program logic and semantics beyond mere…
In the framework of bulk reconstruction, we elucidate the relationship between the action of CFT modular Hamiltonians on bulk operators, the possible equation of motion for the bulk operators, and the charge distribution at infinity…
Due to efficient scaling with electron number N, density functional theory (DFT) is widely used for studies of large molecules and solids. Restriction of an exact mean-field theory to local potential functions has recently been questioned.…
There are several paradigms for integrating interactive and automated theorem provers, combining the convenience of powerful automation with strong soundness guarantees. We introduce a new approach for reconstructing proofs found by SMT…
We present a new method for the reconstruction of rational functions through finite-fields sampling that can significantly reduce the number of samples required. The method works by exploiting all the independent linear relations among…
These lectures comprise the second half of a quantum field theory course given in 2004. Topics include the path integral, loop expansion, Feynman rules, various regularization methods, renormalization, running couplings and the…