Publications related to Sound reasoning about integral data types with a reusable SMT solver interface

Additive and geometric transversality of fractal sets in the integers

By juxtaposing ideas from fractal geometry and dynamical systems, Furstenberg proposed a series of conjectures in the late 1960's that explore the relationship between digit expansions with respect to multiplicatively independent bases. In this work, we in ...

2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

The Current State of the OBI DICT Project: A Bilingual e-Dictionary of Oracle-Bone Inscriptions with AI Image Recognition

This article reports on the current state of the OBI DICT project, a bilingual e-dictionary of oracle-bone inscriptions (OBI), incorporating artificial intelligence (AI) image recognition technology. It first provides a brief overview of the development of ...

Buro Van Die Wat2024

A Reduced Order Model for Domain Decompositions with Non-conforming Interfaces

Alfio Quarteroni, Andrea Manzoni

In this paper, we propose a reduced-order modeling strategy for two-way Dirichlet-Neumann parametric coupled problems solved with domain-decomposition (DD) sub-structuring methods. We split the original coupled differential problem into two sub-problems wi ...

New York2024

Monotonicity Reasoning in the Age of Neural Foundation Models

Zeming Chen, Qiyue Gao

The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our unde ...

Dordrecht2023

Moments of the number of points in a bounded set for number field lattices

Maryna Viazovska, Vlad Serban, Nihar Prakash Gargava

We examine the moments of the number of lattice points in a fixed ball of volume

V

for lattices in Euclidean space which are modules over the ring of integers of a number field

K

. In particular, denoting by

ω_K

the number of roots of unity in

K

, we ...

arXiv2023

impresso Text Reuse at Scale. An interface for the exploration of text reuse data in semantically enriched historical newspapers

Maud Ehrmann, Matteo Romanello

Text Reuse reveals meaningful reiterations of text in large corpora. Humanities researchers use text reuse to study, e.g., the posterior reception of influential texts or to reveal evolving publication practices of historical media. This research is often ...

2023

Language Model Decoding as Likelihood–Utility Alignment

Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Martin Josifoski, Valentin Hartmann, Debjit Paul, Jiheng Wei, Frano Rajic

A critical component of a successful language generation pipeline is the decoding algorithm. However, the general principles that should guide the choice of a decoding algorithm re- main unclear. Previous works only compare decoding algorithms in narrow sc ...

2023

FLIIMP : a community software for the processing, calibration, and reporting of liquid water isotope measurements on cavity-ring down spectrometers

Sonja Wahl

Precise and accurate measurements of the stable isotope composition from precipitation, land ice, runoff, and oceans provide critical information on Earth's water cycle. The analysis, post-processing, and calibration of raw analytical signals from laser sp ...

2023

2XTWEETSXMODEMSXTXTXTWEET (2X): Combining Media archeology and electronic literature to support societal change through design

Through the case study of the 2XTWEETSXMODEMSXTXTXTWEET (abbreviated 2X), this contribution will situate the potential of using Twitter’s publically available data streams as inputs for the creation of media archeological (Hertz and Parikka, 2012) textual ...

2023

Sound reasoning about integral data types with a reusable SMT solver interface

Graph Chatbot

Chat with Graph Search

Additive and geometric transversality of fractal sets in the integers

Secure Interface Design Leveraging Hardware/Software Support

The Current State of the OBI DICT Project: A Bilingual e-Dictionary of Oracle-Bone Inscriptions with AI Image Recognition

A Reduced Order Model for Domain Decompositions with Non-conforming Interfaces

Monotonicity Reasoning in the Age of Neural Foundation Models

Moments of the number of points in a bounded set for number field lattices

impresso Text Reuse at Scale. An interface for the exploration of text reuse data in semantically enriched historical newspapers

Language Model Decoding as Likelihood–Utility Alignment

FLIIMP : a community software for the processing, calibration, and reporting of liquid water isotope measurements on cavity-ring down spectrometers

2XTWEETSXMODEMSXTXTXTWEET (2X): Combining Media archeology and electronic literature to support societal change through design

Additive and geometric transversality of fractal sets in the integers

Secure Interface Design Leveraging Hardware/Software Support

The Current State of the OBI DICT Project: A Bilingual e-Dictionary of Oracle-Bone Inscriptions with AI Image Recognition

A Reduced Order Model for Domain Decompositions with Non-conforming Interfaces

Monotonicity Reasoning in the Age of Neural Foundation Models

impresso Text Reuse at Scale. An interface for the exploration of text reuse data in semantically enriched historical newspapers

Moments of the number of points in a bounded set for number field lattices

Language Model Decoding as Likelihood–Utility Alignment

FLIIMP : a community software for the processing, calibration, and reporting of liquid water isotope measurements on cavity-ring down spectrometers

2XTWEETSXMODEMSXTXTXTWEET (2X): Combining Media archeology and electronic literature to support societal change through design