Graph explorer

Research map

Explore the papers, people and topics connected to your research.

math.LO
Map detail
math.LO29 visible / 29 total nodes / 80 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipWorks onWorks onWorks onCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onRelated contextWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRelated contextRelated contextRelated contextTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalmath.LOTmath.LO1661 worksArtificial IntelligenceTArtificial Intelligence22915 worksAnastasis KratsiosAAnastasis KratsiosResearcherGregory CousinsAGregory CousinsResearcherHaitz Sáez de Ocáriz BordeAHaitz Sáez de Ocáriz BordeResearcherBum Jun KimABum Jun KimResearcherSimone BrugiapagliaASimone BrugiapagliaResearcherMatthew CollinsonAMatthew CollinsonResearcherTimo EckhardtATimo EckhardtResearcherDavid PymADavid PymResearcherYasir MahmoodAYasir MahmoodResearcherArnab SharmaAArnab SharmaResearcherAxel-Cyrille Ngonga NgomoAAxel-Cyrille Ngonga NgomoResearcherBalram TiwariABalram TiwariResearcherNeural and Evolutionary ComputingTNeural and Evolutionary...2839 worksMachine LearningTMachine Learning49008 worksmath.STTmath.ST3384 worksThe fractal Goodstein principleWThe fractal Goodstein p...preprint / 2025On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$WOn pre-local tabularity...preprint / 2025Quasipolynomial behavior via constructibility in multigraded algebraWQuasipolynomial behavio...preprint / 2025Every Feedforward Neural Network Definable in an o-Minimal Structure Has Finite Sample ComplexityWEvery Feedforward Neura...preprint / 2026Towards an Inferentialist Account of Information Through Proof-theoretic SemanticsWTowards an Inferentiali...preprint / 2026Rethinking Explanations: Formalizing Contrast in Description LogicsWRethinking Explanations...preprint / 2026Simple Models of Randomization and Preservation TheoremsWSimple Models of Random...preprint / 2025Generating proof systems for three-valued propositional logicsWGenerating proof system...preprint / 2024Implicative-orthomodular algebrasWImplicative-orthomodula...preprint / 2024Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real AlgebraWGeneralized Kripke's Sc...preprint / 2024Global choice is not conservative over local choice for Zermelo set theoryWGlobal choice is not co...preprint / 2024ST and TS as Product and SumWST and TS as Product an...preprint / 2024
Topic23 links

math.LO

1661 works