FM-LLM-Solver/package.json at main · PatrickAllenCooper/FM-LLM-Solver · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
{
  "name": "fm-llm-solver",
  "version": "2.0.1",
  "description": "Rigorous evaluation of LLMs for proposing Lyapunov functions and barrier certificates",
  "main": "index.js",
  "scripts": {
    "dev": "npm run dev:backend & npm run dev:frontend",
    "dev:backend": "cd backend && npm run dev",
    "dev:frontend": "cd frontend && npm run dev",
    "build": "npm run build:backend && npm run build:frontend",
    "build:backend": "cd backend && npm run build",
    "build:frontend": "cd frontend && npm run build",
    "start": "npm run start:backend",
    "start:backend": "cd backend && npm start",
    "test": "npm run test:backend && npm run test:frontend",
    "test:backend": "cd backend && npm test",
    "test:frontend": "cd frontend && npm test"
  },
  "keywords": [
    "llm",
    "formal-methods",
    "lyapunov",
    "barrier-certificates",
    "stability-analysis",
    "verification"
  ],
  "author": "FM-LLM Research Team",
  "license": "MIT",
  "workspaces": [
    "backend",
    "frontend"
  ]
}