3 papers
math.LO2025
Maximal WAP and tame quotients of type spaces
Krzysztof Krupiński, Adrián Portillo
We study maximal WAP and tame (in the sense of topological dynamics) quotients of , where is a sufficiently saturated (called monster) model of a…
cs.LG2024
Enhancing classroom teaching with LLMs and RAG
Elizabeth A Mullins, Adrian Portillo, Kristalys Ruiz-Rohena +1
Large Language Models have become a valuable source of information for our daily inquiries. However, after training, its data source quickly becomes out-of-date, making RAG a usefu…
math.LO2023
Maximal stable quotients of invariant types in NIP theories
Krzysztof Krupiński, Adrián Portillo
For a NIP theory , a sufficiently saturated model of , and an invariant (over some small subset of ) global type , we prove that there exists…