Popular repositories Loading

1. trust-aware-learning-augmented-lean-proofs trust-aware-learning-augmented-lean-proofs Public

   Lean 4 mini-module formalizing basic ski-rental definitions, offline optimum facts, deterministic buy-at-B cost cases, and a small cost-bound fragment.

   Lean 1

2. prompt-fusion-defect-prediction prompt-fusion-defect-prediction Public

   Code and data for our paper: "Prompt-Optimized Fusion for Software Defect Prediction"

   Python

3. promptpal promptpal Public

   Professional AI Prompt Testing Platform with Real-time Scoring - Free AI Tool for Prompt Engineers

   TypeScript

4. enhanced-intellichat enhanced-intellichat Public

   HTML

5. designadvisor_appendix_d designadvisor_appendix_d Public

   Python

6. lidar-ndvi-visualization lidar-ndvi-visualization Public

   Jupyter Notebook