Cover Image

Synthesizing JSON Schema Transformers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Stanek, Jack, Killough, Daniel
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Validation of Modern JSON Schema: Formalization and Complexity
by: Attouche, Lyes, et al.
Published: (2023)

Elimination of annotation dependencies in validation for Modern JSON Schema
by: Attouche, Lyes, et al.
Published: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
by: Kalita, Pankaj Kumar, et al.
Published: (2024)

Schema Evolution in Interactive Programming Systems
by: Edwards, Jonathan, et al.
Published: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
by: Peng, Xuanyu, et al.
Published: (2025)

Think Inside the JSON: Reinforcement Strategy for Strict LLM Schema Adherence
by: Agarwal, Bhavik, et al.
Published: (2025)

JTON: A Token-Efficient JSON Superset with Zen Grid Tabular Encoding for Large Language Models
by: Nandakishore, Gowthamkumar
Published: (2026)

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
by: Edwards, Marcus
Published: (2025)

Synthesizing Specifications
by: Park, Kanghee, et al.
Published: (2023)

Generative Explanations for Program Synthesizers
by: Nazari, Amirmohammad, et al.
Published: (2024)

JSON Whisperer: Efficient JSON Editing with LLMs
by: Duanis, Sarel, et al.
Published: (2025)

LOUD: Synthesizing Strongest and Weakest Specifications
by: Park, Kanghee, et al.
Published: (2024)

Synthesizing Trajectory Queries from Examples
by: Mell, Stephen, et al.
Published: (2026)

Synthesizing Backward Error Bounds, Backward
by: Zielinski, Laura, et al.
Published: (2026)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
by: Liu, Zhengyang, et al.
Published: (2023)

Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)

Synthesizing DSLs for Few-Shot Learning
by: Krogmeier, Paul, et al.
Published: (2025)

XML Schema Languages: Beyond DTD.
by: Ioannides, Demetrios
Published: (2000)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
by: He, Yang, et al.
Published: (2025)

Generating Pragmatic Examples to Train Neural Program Synthesizers
by: Vaduguru, Saujas, et al.
Published: (2023)

JSON Schema Discovery Dataset
by: Anonymous, Author
Published: (2026)

MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema
by: Gajjar, Jugal, et al.
Published: (2025)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
by: Huang, Tinglin, et al.
Published: (2026)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
by: Liell-Cock, Jack, et al.
Published: (2024)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
by: Oakley, Lisa, et al.
Published: (2024)

Synthesizing Document Database Queries using Collection Abstractions
by: Liu, Qikang, et al.
Published: (2024)

CUBES: A Parallel Synthesizer for SQL Using Examples
by: Brancas, Ricardo, et al.
Published: (2022)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
by: Hughes, Jack, et al.
Published: (2025)

Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
by: Ji, Zhenlan, et al.
Published: (2024)

Transform Dialect Tutorial
by: Zinenko, Oleksandr
Published: (2024)

Latency Based Tiling
by: Cashman, Jack
Published: (2025)

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)

Large Language Models for JSON Schema Discovery
by: Mior, Michael J.
Published: (2024)

AI-assisted JSON Schema Creation and Mapping
by: Neubauer, Felix, et al.
Published: (2025)

Source-to-Source Transformations for GPU Code Generation
by: de Castelnau, Julien, et al.
Published: (2026)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
by: Kammar, Ohad, et al.
Published: (2026)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)