Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal Methods
📐 Formal Methods
TLA+, Alloy, model checking, temporal logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
14
posts in
5.2
ms
Can LLMs Write Correct
TLA
+
Specifications
? Evaluating
Natural-Language-to-TLA
+ Generation
🔢
Array Languages
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Neon NTT - (Auto)
formalised
🔢
Array Languages
eprint.iacr.org
·
22h
22 hours ago
Actions for Neon NTT - (Auto)formalised
Human Judgment as a
Specification
🎵
Notation Systems
Content type:
Blog
blog.brownplt.org
·
2d
2 days ago
Actions for Human Judgment as a Specification
AWS can now mathematically prove your VMs are isolated
🔣
Tacit Programming
thenewstack.io
·
11h
11 hours ago
Actions for AWS can now mathematically prove your VMs are isolated
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
🔢
Array Languages
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
Programming Languages Software Award
🔢
Array Languages
sigplan.org
·
20h
20 hours ago
Actions for Programming Languages Software Award
DB Nerds – Try this out
🔢
Array Languages
kesseldb.com
·
6d
6 days ago
·
Hacker News
Actions for DB Nerds – Try this out
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
🔢
Array Languages
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
[Showoff Saturday] Built a circular habit tracker with animated Clockwork Orbit
🔣
Tacit Programming
cyclichabits.vercel.app
·
4d
4 days ago
·
r/webdev
Actions for [Showoff Saturday] Built a circular habit tracker with animated Clockwork Orbit
Reinforcing
Temporal
Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning
🔢
Array Languages
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Reinforcing Temporal Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning
TLA-Prover
: Verifiable
TLA
+
Specification
Synthesis via Preference-Optimized Low-Rank Adaptation
🔢
Array Languages
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Correct-by-Construction Design of Timed Systems in Event-B
🔢
Array Languages
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
The Complexity of Asynchronous HyperLTL
🔢
Array Languages
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for The Complexity of Asynchronous HyperLTL
VASO:
Formally
Verifiable Self-Evolving Skills for Physical AI Agents
🔣
Tacit Programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help