Search results

why don't we use raf_claim_specs in ps_shout

Status: Open.

#202 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 18, 2026

Commit to model inputs rather than provide them to the Verifier

Status: Open.

#201 In ICME-Lab/jolt-atlas;

· AntoineF4C5 opened on Mar 17, 2026

Soundness: teleport range checks do not bind tau-derived bounds to the verifier

soundness

Status: Open.

#195 In ICME-Lab/jolt-atlas;

· ClankPan opened on Mar 9, 2026

implement prover logic for monolithic MeanOfSquares op

Status: Open.

Feature

#194 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 9, 2026

·  

Reduce quantization err

Refactor Einsum prover/verifiers: deduplicate bmk_* and mbk_* variants

Status: Open.

Task

#193 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 9, 2026

Prove tanh via small LUT + (out-of-range -> ±scale)

Status: Open.

Feature

#192 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 9, 2026

·  

Reduce quantization err

Prove softmax exp via small exp LUT + (out-of-range -> 0)

Status: Open.

Feature

#191 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 9, 2026

·  

Reduce quantization err

Prove i64-accumulate + fused_rebase + clamp for einsum, mul, cube, etc.

Status: Open.

Feature

#190 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 9, 2026

·  

Reduce quantization err

Increase rsqrt precision

Status: Open.

Feature

#189 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 9, 2026

·  

Reduce quantization err

refactor duplicate code between trig ops

Status: Open.

Task

#186 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 5, 2026

Prevent overflowing of Mul/Square/Cube without compromizing accuracy

enhancementNew feature or requestNew feature or request

Status: Open.

#176 In ICME-Lab/jolt-atlas;

· AntoineF4C5 opened on Feb 26, 2026

Reduce proving/verification overhead of Softmax

optimization

Status: Open.

Feature

#175 In ICME-Lab/jolt-atlas;

· AntoineF4C5 opened on Feb 25, 2026