SearcharxivSearch

arXiv subjects

Guanheng Chen

Publications and source records attributed to Guanheng Chen.

12 recordsLinked to original sources

Learning to Coach for Experiential Learning

Language models can learn from experience, but raw solution trajectories are often too long and noisy to provide effective guidance. In this work, we propose Learning to Coach (L2C), a framework that trains a dedicated LLM-as-a-Coach to extract actionable experiential knowledge from an actor model's previous trajectory. The actor remains frozen, while the LLM-as-a-Coach is trained to maximize a reward given by the correctness of the actor's guided response. We study two such rewards: a same-instance reward, which improves subsequent responses on the original problem, and a cross-instance reward, which elicits knowledge that transfers to other instances. Across mathematical reasoning and interactive text-games, L2C consistently outperforms self-refinement and an untrained LLM-as-a-Coach. Running experiential learning for more iterations further improves accuracy and uses additional inference compute more effectively than enlarging the actor's decoding budget. The trained LLM-as-a-Coach also transfers to out-of-distribution tasks and adapts its guidance to the specific actor it coaches.

cs.CL

Symplectic embeddings of balls into disk prequantization bundles

A prequantization bundle is a circle bundle over a symplectic surface with negative Euler class. A connection 1-form induces a natural contact form on such a bundle. The purpose of this paper is to study symplectic embeddings of balls into the associated disk bundles. To this end, we compute the ECH cobordism maps induced by these disk bundles. In addition, we compute the ECH spectrum of the prequantization bundles over the sphere and the torus.

math.SG

Computing the $U$ maps on ECH of prequantization bundles

The purpose of this paper is to study the $U$-module structure of the embedded contact homology of a class of prequantization circle bundles over closed symplectic surfaces. We assume that the Euler number of each circle bundle is strictly less than the Euler characteristic of the corresponding surface. We give an explicit description of the $U$-map with respect to a basis of filtered ECH defined via cobordism maps. We use the formula for the $U$-map to compute the ECH spectrum and, as an application, the ECH capacities of certain complements of symplectic divisors. Furthermore, we show that the ECH capacities of closed integral symplectic manifolds are infinite.

math.SG

LLM-as-a-Coach: Experiential Learning for Non-Verifiable Tasks

Reinforcement learning (RL) on open-ended tasks compresses an LLM's rubric-based evaluation into a scalar reward, discarding rich textual feedback and conflating responses with distinct quality profiles. We propose Experiential Learning (EL), which repurposes the feedback model from an LLM-as-a-Judge into an LLM-as-a-Coach. The coach distills its assessment of each on-policy response into transferable experiential knowledge, which conditions a teacher model and is internalized by the policy through on-policy context distillation. Compared with scalar rewards, this higher-bandwidth feedback channel provides dense supervision and preserves fine-grained preferences among high-quality responses. Across two policy families, with feedback from the policy itself or a proprietary model, EL consistently outperforms rubric-based RL on held-out and unseen open-ended tasks. Notably, EL generalizes better beyond the training distribution, and mitigates reward hacking. These findings establish experiential knowledge as a richer and more generalizable learning signal for post-training on non-verifiable tasks.

cs.LG

On PFH and HF spectral invariants

For a closed symplectic surface, there are two types of spectral invariants: one defined by periodic Floer homology (PFH) and another by quantitative Heegaard Floer homology (QHF). The theme of this paper is to investigate the relationship between these two invariants. We begin by defining intermediate invariants using the cylindrical formulation of QHF, which we call HF spectral invariants. These invariants are shown to be equivalent to the link spectral invariants in the author's previous work. In the case of the sphere, we prove that the homogenized HF spectral invariants at the unit are equal to the homogenized PFH spectral invariants. This result is derived by constructing homomorphisms from quantitative Heegaard Floer homology to periodic Floer homology, which we refer to as open-closed morphisms. In addition, we show that the homogenized PFH spectral invariants are quasi-morphisms.

math.SG

Closed-open morphisms on periodic Floer homology

In this note, we investigate homomorphisms from the periodic Floer homology (PFH) to the quantitative Heegaard Floer homology. We call the homomorphisms closed-open morphisms. Under certain assumptions on the Lagrangian link, we first follow R. Lipshitz's idea to give a cylindrical formulation of the quantitative Heegaard Floer homology. Then we construct the closed-open morphisms from the PFH to the quantitative Heegaard Floer homology. Moreover, we show that the morphisms are non-vanishing. As an application, we deduce a relation between the PFH-spectral invariants and the HF-spectral invariants.

math.SG

On aspherical symplectic fillings with finite capacities of the prequantization bundles

A prequantization bundle is a negative circle bundle over a symplectic surface together with a contact form induced by a S1-invariant connection. Given a symplectically aspherical symplectic filling of a prequantization bundle satisfying certain topological conditions, suppose that a version of symplectic capacity of the symplectic filling is finite. Then, we show that the symplectic filling is diffeomorphic to the associated disk bundle.

math.SG

Stability of the braid types defined by the symplecticmorphisms preserving a link

Fix a suitable link on the disk. Recently, F. Morabito associates each Hamiltonian symplecticmorphism preserving the link to a braid type. Based on this construction, Morabito defines a family of pseudometrics on the braid groups by using the Hofer metric. In this paper, we show that two Hamiltonian symplecticmorphisms define the same braid type provided that their Hofer distance is sufficiently small. As a corollary, the pseudometric defined by Morabito is nondegenerate.

math.SG

Local behaviour of sequences of three-dimensional generalised monopoles

The purpose of this paper is to study the behaviour of sequences of generalised monopoles with a uniform bound on a certain L2-norm. We focus on the case that the target hyperKahler manifolds are Swann bundles. In 3-dimensional case, suppose that there exists an open submanifold Y' such that the hyperKahler potential along the monopoles has a uniform lower bound over Y'. Then we show that there exist convergent subsequences of generalised monopoles over any compact subset of Y'. Under similar assumptions, the same conclusion holds for the generalised harmonic spinors in dimension four.

math.DG

Cobordism maps on periodic Floer homology induced by elementary Lefschetz fibrations

Periodic Floer homology (PFH) is a Gromov-Floer type invariant for fibered three-manifolds with Hamiltonian structures. The cobordism maps on periodic Floer homology induced by symplectic cobordisms are currently only defined indirectly by using Seiberg-Witten theory. In this paper, we investigate the cobordism maps induced by a class of symplectic cobordisms constructed by P. Seidel, called elementary Lefschetz brations. We define the PFH cobordism maps induced by elementary Lefschetz fibrations in terms of holomorphic curves. Moreover, we compute these maps for some cases.

math.GT

On cobordism maps on periodic Floer homology

In this article, we investigate the cobordism maps on periodic Floer homology (PFH). In the first part of the paper, we define the cobordism maps on PFH via Seiberg Witten theory as well as the isomorphism between PFH and Seiberg Witten cohomology. Furthermore, we show that the maps satisfy the holomorphic curve axiom. In the second part of the paper, we give an alternative definition of these maps by using holomorphic curve method, provided that the symplectic cobordisms are Lefschetz fibration satisfying certain nice conditions. Under additionally certain monotonicity assumptions, we show that these two definitions are equivalent.

math.GT

An alternative definition of cobordism map of ECH

In this article, we reformulate the cobordism map of embedded contact homology, which is induced by exact symplectic cobordism and defined as direct limit of homomorphisms called filtered ECH cobordism map. The filtered ECH cobordism map is defined by counting embedded holomorphic curves with zero ECH index and we prove that it is independent on almost complex structure by Seiberg Witten theory. Moreover, our definition in fact is equivalent to the existing definition.

math.GT