becklabs - Overview
Improving Generative Inverse Design of Rectangular Patch Antennas with Test Time Optimization
Python 2 1
Data-Driven Modeling of 4D Ocean and Coastal Acidification from Surface Measurements
Jupyter Notebook 3
RES-Q: Evaluating the Code-Editing Capability of Large Language Model Systems at the Repository Scale
Python 27 3
A Python library for contracts, property-based randomized testing, and verification via symbolic execution.
Python 2