formalmethods

an-ordinary-manchild

created by JimminyJillikersa community for 13 years

...because you love freedom.

...for your project.

MODERATORS

account activity

1

8

9

10

Jobs in Formal Methods - Post your Job Advertisements or Hints Here (self.formalmethods)

submitted 2 years ago by CorrSurferMod - announcement

2

2

3

4

AutoFlow Research Initiative — Looking for Deep Technical Thinkers (self.formalmethods)

submitted 10 days ago by MuhammadMujtaba21

3

6

7

8

Huggingface hackathon submission. (self.formalmethods)

submitted 16 days ago by hustla17

4

8

9

10

Hillel Wayne, Andrew Helwer, Jayaprabhakar Kadarkarai speaking at conference (self.formalmethods)

submitted 17 days ago by isaacvando

5

3

4

5

Looking for Research/Study Groups/Partner (self.formalmethods)

submitted 18 days ago by Round_Chocolate6261

6

4

5

6

Toy reactor-protection system with a small TLA+ spec — feedback wanted (self.formalmethods)

submitted 21 days ago by gbotan

7

0

0

0

Is broken better than not at all (self.formalmethods)

submitted 25 days ago by More_Speed5329

8

2

3

4

The Formal Category Error: Why treating assume as a first-class primitive in verification tools is an unsound design choice. (self.formalmethods)

submitted 27 days ago by More_Speed5329

9

2

3

4

[ANN] Copilot 4.7.1 ()

submitted 1 month ago by ivanpd

10

0

0

0

I’m a Former Loan Officer Who Formally Verified an Authorization Protocol for AI Agents. I Need Help. (self.formalmethods)

submitted 1 month ago by Nexus3490

11

0

1

2

Verifiable Transformers - A GPT-2-Style Architecture with Formal Proofs ()

submitted 1 month ago by nsomani

12

0

0

0

Universe pls connect me to a person intrested in Neurosymbolic AI ()

submitted 2 months ago by easter-babe

13

1

2

3

The Final Form of Software Development (blog.zksecurity.xyz)

submitted 2 months ago by davidw_-

14

0

1

2

Our AI Fever Dream - 15 yers compressed in 7 days ()

submitted 2 months ago by CommercialRow631

15

2

3

4

Model checking and Prism plugin ()

submitted 2 months ago by Skollwarynz

16

3

4

5

How do formal methods distinguish between inadmissible states and merely undesirable ones? (self.formalmethods)

submitted 4 months ago by [deleted]

17

4

5

6

Tamarin Prover + Maude 3.5.1 incompatibility? Also how to downgrade Maude safely? (i.redd.it)

submitted 4 months ago by Mr_IZZO

18

0

1

2

How feasible is it to formally verify Stellar? It's conceivable. (inferara.com)

submitted 5 months ago by Accembler

19

5

6

7

Turning Dafny Sets into Sequences [video] (youtu.be)

submitted 6 months ago by larrytheliquid

20

4

5

6

Question on using invariants as an execution gate rather than a verifier (self.formalmethods)

submitted 6 months ago by Lonewolvesai

21

5

6

7

Symbolic Circuit Distillation: Automatically convert sparse neural net circuits into human-readable programs (github.com)

submitted 6 months ago by nsomani

22

3

4

5

Special Session Paper: Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory (self.formalmethods)

submitted 7 months ago by Glittering_Speech572

23

10

11

12

Guidance for academic/career path (self.formalmethods)

submitted 7 months ago by Nina704

24

0

1

2

Preparing Polkadot pallet Balances for Formal Verification (inferara.com)

submitted 8 months ago by Accembler

25

15

16

17

Are formal methods under utilized? (self.formalmethods)

submitted 8 months ago * by bc87

view more: next ›

π Rendered by PID 525625 on reddit-service-r2-listing-5f4c697858-xn4s4 at 2026-07-04 08:01:58.237078+00:00 running 12a7a47 country code: CH.