Pinned Loading

1. transformers-GAD transformers-GAD Public

   [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution

   Python 28 6

2. aspire aspire Public

   A solver of loud framework, for synthesizing strongest over-approximation and weakest under-approximation

   Java 6 1

3. spyro spyro Public

   Synthesizer for provably sound, and most-precise specifications

   Python 4

4. spyro-sygus spyro-sygus Public

   SyGuS version of spyro

   Python