Source author record

Hilaf Hasson

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT Computation and Language

Catalog footprint

Research overview

5works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

RIMRULE: Improving Tool-Using Language Agents via MDL-Guided Rule Learning

Large language models (LLMs) often struggle to use tools reliably in domain-specific settings, where APIs may be idiosyncratic, under-documented, or tailored to private workflows. This highlights the need for effective adaptation to task-specific tools. We propose RIMRULE, a neuro-symbolic approach for LLM adaptation based on dynamic rule injection. Compact, interpretable rules are distilled from failure traces and injected into the prompt during inference to improve task performance. These rules are proposed by the LLM itself and consolidated using a Minimum Description Length (MDL) objective that favors generality and conciseness. Each rule is stored in both natural language and a structured symbolic form, supporting efficient retrieval at inference time. Experiments on tool-use benchmarks show that this approach improves accuracy on both seen and unseen tools without modifying LLM weights. It outperforms prompting-based adaptation methods and complements finetuning. Moreover, rules learned from one LLM can be reused to improve others, including long reasoning LLMs, highlighting the portability of symbolic knowledge across architectures.

preprint2020arXiv

Prime-to- $p$ étale fundamental groups of punctured projective lines over strictly Henselian fields

Let $K$ be the fraction field of a strictly Henselian DVR of characteristic $p \geq 0$ with algebraic closure $\bar{K}$ , and let $α_{1}, ..., α_{d} \in \mathbb{P}_{K}^{1}(K)$ . In this paper, we give explicit generators and relations for the prime-to- $p$ étale fundamental group of $\mathbb{P}_K^1\smallsetminus\{α_1,...,α_d\}$ that depend (solely) on their intersection behavior. This is done by a comparison theorem that relates this situation to a topological one. Namely, let $a_{1}, ..., a_{d}$ be distinct power series in $\mathbb{C}[[x]]$ with the same intersection behavior as the $α_i$ 's, converging on an open disk centered at $0$ , and choose a point $z_{0} \neq 0$ lying in this open disk. We compare the natural action of $\mathrm{Gal}(K)$ on the prime-to- $p$ étale fundamental group of $\mathbb{P}_{\bar{K}} \smallsetminus \{α_{1}, ..., α_{d}\}$ to the topological action of looping $z_0$ around the origin on the fundamental group of $\mathbb{P}_{\mathbb{C}}^1 \smallsetminus \{a_1(z_0),...,a_d(z_0)\}$ . This latter action is, in turn, interpreted in terms of Dehn twists. A corollary of this result is that every prime-to- $p$ $G$ -Galois cover of $\mathbb{P}_{\bar K}^1 \smallsetminus \{α_1,...,α_d\}$ satisfies that its field of moduli (as a $G$ -Galois cover) has degree over $K$ dividing the exponent of $G / Z(G)$ .

preprint2015arXiv

Minimal fields of definition for Galois action

Let $K$ be a field, let $G$ be a finite group, and let $\bar X\rightarrow \bar Y$ be a $G$ -Galois branched cover of varieties over $K^{sep}$ . Given a mere cover model $X\rightarrow Y$ of this cover over $K$ , in Part I of this paper I observe that there is a unique minimal field $E$ over which $X\rightarrow Y$ becomes Galois, and I prove that $E/K$ is Galois with group a subgroup of $Aut(G)$ . In Part II of this paper, by making the additional assumption that $K$ is a field of definition (i.e., that there exists \it some \rm Galois model over $K$ ), I am able to give an explicit description of the unique minimal field of Galois action for $X\rightarrow Y$ . Namely, if there exists a $K$ -rational point of $X$ above an unramified point $P\in Y(K)$ then $E$ is contained in the intersection of the specializations at $P$ in the various different $G$ -Galois models of $\bar X\rightarrow \bar Y$ over $K$ . Using the same proof mechanism, I observe a reverse version of "The Twisting Lemma", which asserts that the behavior of the $K$ -rational points on the various mere cover models over $K$ , and the behavior of the specializations on the various $G$ -Galois models over $K$ , are all governed by a single equivalence relation (independent of the model) on the $K$ -rational points of the base variety.

preprint2014arXiv

Suzuki-invariant codes from the Suzuki curve

In this paper we consider the Suzuki curve $y^q + y = x^{q_0}(x^q + x)$ over the field with $q = 2^{2m+1}$ elements. The automorphism group of this curve is known to be the Suzuki group $Sz(q)$ with $q^2(q-1)(q^2+1)$ elements. We construct AG codes over $\mathbb{F}_{q^4}$ from a $Sz(q)$ -invariant divisor $D$ , giving an explicit basis for the Riemann-Roch space $L(\ell D)$ for $0 < \ell \leq q^2-1$ . These codes then have the full Suzuki group $Sz(q)$ as their automorphism group. These families of codes have very good parameters and are explicitly constructed with information rate close to one. The dual codes of these families are of the same kind if $2g-1 \leq \ell \leq q^2-1$ .

preprint2013arXiv

The fields of definition of branched Galois covers of the projective line

In this paper I explore the structure of the fields of definition of Galois branched covers of the projective line over \bar Q. The first main result states that every mere cover model has a unique minimal field of definition where its automorphisms are defined, and goes on to describe special properties of this field. One corollary of this result is that for every G-Galois branched cover there is a field of definition which is Galois over its field of moduli, with Galois group a subgroup of Aut(G). The second main theorem states that the field resulting by adjoining to the field of moduli all of the roots of unity whose order divides some power of |Z(G)| is a field of definition. By combining this result with results from an earlier paper, I prove corollaries related to the Inverse Galois Problem. For example, it allows me to prove that for every finite group G, there is an extension of number fields Q \subset E \subset F such that F/E is G-Galois, and E/Q ramifies only over those primes that divide |G|. I.e., G is realizable over a field that is "close" to Q.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Hilaf Hasson

Research overview

Is this your work?

5 publications

RIMRULE: Improving Tool-Using Language Agents via MDL-Guided Rule Learning

Prime-to- $p$ étale fundamental groups of punctured projective lines over strictly Henselian fields

Minimal fields of definition for Galois action

Suzuki-invariant codes from the Suzuki curve

The fields of definition of branched Galois covers of the projective line

See the researcher in context

Building this map preview

Hilaf Hasson

Research overview

Is this your work?

5 publications

RIMRULE: Improving Tool-Using Language Agents via MDL-Guided Rule Learning

Prime-to-ppp étale fundamental groups of punctured projective lines over strictly Henselian fields

Minimal fields of definition for Galois action

Suzuki-invariant codes from the Suzuki curve

The fields of definition of branched Galois covers of the projective line

See the researcher in context

Building this map preview

Prime-to- $p$ étale fundamental groups of punctured projective lines over strictly Henselian fields