2 research outputs found
Genetic Programming with Local Scoring
We present new techniques for synthesizing programs through sequences of
mutations. Among these are (1) a method of local scoring assigning a score to
each expression in a program, allowing us to more precisely identify buggy
code, (2) suppose-expressions which act as an intermediate step to evolving
if-conditionals, and (3) cyclic evolution in which we evolve programs through
phases of expansion and reduction. To demonstrate their merits, we provide a
basic proof-of-concept implementation which we show evolves correct code for
several functions manipulating integers and lists, including some that are
intractable by means of existing Genetic Programming techniques.Comment: Minor improvement
Disordered arcs and Harer stability
We give a new proof of homological stability with the best known isomorphism
range for mapping class groups of surfaces with respect to genus. The proof
uses the framework of Randal-Williams-Wahl and Krannich applied to disk
stabilization in the category of bidecorated surfaces, using the Euler
characteristic instead of the genus as a grading. The monoidal category of
bidecorated surfaces does not admit a braiding, distinguishing it from
previously known settings for homological stability. Nevertheless, we find that
it admits a suitable Yang-Baxter element, which we show is sufficient structure
for homological stability arguments.Comment: minor revisio