Better int - #122

Open

pcpet wants to merge 192 commits into

mainfrom

Commits on Apr 9, 2026

Add PINN a posteriori estimator notebook for unit-square Poisson
pcpet
committed
5aedad3
Merge pull request #111 from pcpet/codex/add-notebook-for-pinn-a-posteriori-estimator
pcpet
authored
d43e6ad

Commits on Apr 10, 2026

Add interval Hessian bounds and W22 sobolev norm support
pcpet
committed
dd01554
Merge branch 'better-int' into codex/add-notebook-for-pinn-a-posteriori-estimator
pcpet
authored
f43f14e
Update docs to reflect Hessian and W2 Sobolev support
pcpet
committed
a747a5d
Merge pull request #112 from pcpet/codex/add-notebook-for-pinn-a-posteriori-estimator
pcpet
authored
8d630f5
Merge pull request #113 from pcpet/codex/add-notebook-for-pinn-a-posteriori-estimator-egyu8b
pcpet
authored
d6fe9fa
Add PINN solution/error/indicator visualizations to notebook
pcpet
committed
af17f7e
Merge branch 'better-int' into codex/add-notebook-for-pinn-a-posteriori-estimator
pcpet
authored
0e0041d
Merge pull request #114 from pcpet/codex/add-notebook-for-pinn-a-posteriori-estimator
pcpet
authored
ba9160e
Fix residual indicator map to use final adaptive partition values
pcpet
committed
ac2965d
Merge branch 'better-int' into codex/add-notebook-for-pinn-a-posteriori-estimator
pcpet
authored
372dbe4
Merge pull request #115 from pcpet/codex/add-notebook-for-pinn-a-posteriori-estimator
pcpet
authored
ea1e8c0
ran experiment and changed some meta data
Viktoriaboldt
committed
8c08f0c
Plot PDE residual in PINN Poisson notebook figure
pcpet
committed
cd1f8c8
Merge pull request #116 from pcpet/codex/plot-residual-instead-of-current-output
pcpet
authored
413f983

Commits on Apr 11, 2026

Commits on Apr 12, 2026

Commits on Apr 13, 2026

new exp
Viktoriaboldt
committed
7c7bd30
Update PINN notebook to use localized bump forcing
pcpet
committed
d85e09e
Merge pull request #121 from pcpet/codex/update-experiment-in-pinns-ipynb
pcpet
authored
f9a1afc

Commits on Apr 14, 2026

new exp
Viktoriaboldt
committed
41d51f5
Add PINN results figure and boundary-condition note to README
pcpet
committed
6359045
Merge pull request #123 from pcpet/codex/add-pinns-computation-image-to-readme
pcpet
authored
262c4df

Commits on Apr 21, 2026

Commits on Apr 22, 2026

Commits on May 7, 2026

Commits on May 9, 2026

Commits on Jun 16, 2026

Commits on Jul 8, 2026

Commits on Jul 20, 2026

Commits on Jul 22, 2026

Commits on Jul 23, 2026

Commits on Jul 24, 2026

Commits on Jul 26, 2026

Accelerate direct PZ Sobolev integration
MoritzMaibaum
committed
8b23948

Commits on Jul 31, 2026

Add fast value-only PZ L2 path
MoritzMaibaum
committed
63c5e70
Add certified polynomial one-jet PINN benchmarks
MoritzMaibaum
committed
1962d02
Load saved PINN in certification benchmarks
MoritzMaibaum
committed
aeb8cf6

Commits on Aug 1, 2026

Keep PZ norm integration symbolic and add PINN diagnostics
MoritzMaibaum
committed
de46f58
Add per-neuron activation error diagnostics
MoritzMaibaum
committed
20182cd
Update affine_tanh_enclosures.tex
MoritzMaibaum
committed
49b832b
Update certified_polynomial_zonotope_integration.tex
MoritzMaibaum
committed
8baff25
Update direct_integrated_twojet_squares.tex
MoritzMaibaum
committed
3efb89a
Add polynomial_zonotope_notation_and_terminology.tex
MoritzMaibaum
committed
22f505a
Add polynomial_zonotope_twojet_recurrence.tex
MoritzMaibaum
committed
31116f6
docs: link PZ notation and recurrence references
MoritzMaibaum
committed
9d13d8b

Commits on Aug 2, 2026

Benchmark certified polynomial support reductions
MoritzMaibaum
committed
814e8df

Commits on Aug 3, 2026

Implement medium PINN diagnostics benchmark
MoritzMaibaum
committed
fb576a5

Commits on Aug 4, 2026

Add optimized uncompressed shallow PINN certification
MoritzMaibaum
committed
136323f

Commits on Aug 10, 2026

Add refined deep hybrid norm certification
MoritzMaibaum
committed
f8a22ad
Add graph Hilbert norm certification
MoritzMaibaum
committed
b7f8c88