product
Grammatical Framework
productactiveprovisional
grammatical-framework-61cc9af0·1 events·first seen 26h agoAliases: Grammatical Framework
Co-occurring entities
More like this (12)
AGI cognitive frameworkTransformer GrammarsSpeaking the Language of Science: Toward a General-Purpose Generative Foundation Model for the Natural SciencesGrammar-Constrained DecodingRecursive Language Models (RLMs)constructional semanticsParadigmmemory-augmented agent frameworksRevisiting the Systematicity in Negation in the Era of In-Context LearningGerman grammatical genderLatent Context Language ModelsUnified Harm Framework
Recent events (1)
Informath: Symbolic informalization for converting formal proofs to fluent natural language
The paper introduces Informath, a project for symbolic informalization — converting formally verified mathematics into readable natural language without loss of precision. The architecture uses Dedukti as an interlingua hub connecting proof systems (Agda, Lean, Rocq) and Grammatical Framework (GF) for multilingual natural language generation. The work is relevant to AI-assisted formal verification pipelines where autoformalization produces machine-checked proofs that need to be made human-interpretable.