issues
search
singnet
/
ai-dsl
Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
MIT License
65
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Protobuf to MeTTa PoC
#103
ngeiswei
closed
7 months ago
0
Misc improvements to the proto-encoding experiment
#102
ngeiswei
closed
8 months ago
0
Experiment to understand precisely how protobuf encoding/decoding works
#101
ngeiswei
closed
8 months ago
0
Add usage examples of the SNET Marketplace dump in metta
#100
ngeiswei
closed
9 months ago
0
Improv snet-marketplace-space script
#99
ngeiswei
closed
9 months ago
0
Script to build SNET Marketplace AtomSpace + dump files
#98
ngeiswei
closed
9 months ago
0
Add SingularityNET Markeplace Assistant Design Document Draft
#97
ngeiswei
closed
10 months ago
0
Wow ! Idriss code ? compiling ai-dsl/experimental/ai-algorithms/NeuralNets
#96
gl-yziquel
opened
10 months ago
2
Add composition checking experiment based on protobuf specification
#95
ngeiswei
closed
11 months ago
0
Add robert haas in Acknowledgments
#94
ngeiswei
closed
1 year ago
0
Render PDF
#93
ngeiswei
closed
1 year ago
0
Rename Septembre to September
#92
ngeiswei
closed
1 year ago
0
Fix minor typo
#91
ngeiswei
closed
1 year ago
0
Add paragraph about using Codex for generating informal spec
#90
ngeiswei
closed
1 year ago
0
Complete report with final corrections + 2 more paper reviews
#89
ngeiswei
closed
1 year ago
0
Complete Sam's program synthesis sections
#88
ngeiswei
closed
1 year ago
0
Finalize report
#87
ngeiswei
closed
1 year ago
0
Add more related work in report of phase 2 + roadmap for phase 3
#86
ngeiswei
closed
1 year ago
0
Simplify sentence
#85
ngeiswei
closed
1 year ago
0
Improve README.md to reflect the work done so far
#84
ngeiswei
closed
1 year ago
0
Add Related Work Section
#83
ngeiswei
closed
1 year ago
0
Minor fixes in the AI Service Assemblages document
#82
ngeiswei
closed
1 year ago
0
Add document about possible snet service assemblages to explore
#81
ngeiswei
closed
1 year ago
0
Towards finalizing the report (add partial conclusion + misc improvements)
#80
ngeiswei
closed
1 year ago
0
Point to the 5 minutes video
#79
ngeiswei
closed
1 year ago
0
Final Close Report
#78
ngeiswei
closed
1 year ago
0
Some more work on idris proof search
#77
ngeiswei
closed
1 year ago
0
Update ai-dsl-project-close-report-2022-oct.md
#76
moikle
closed
1 year ago
0
More last minute close report work
#75
ngeiswei
closed
1 year ago
0
Idris Synthesis code
#74
sroberti
closed
1 year ago
2
Add first draft of the report of the second iteration
#73
ngeiswei
closed
1 year ago
0
Program synthesis experiments using Idris2 proof search
#72
ngeiswei
closed
1 year ago
0
Add an example of reframming logistic regression into linear regression
#71
ngeiswei
closed
1 year ago
0
Implement logistic regression + various fixes and completion
#70
ngeiswei
closed
1 year ago
0
Implement linear regression with a proof that it descends
#69
ngeiswei
closed
1 year ago
0
Improve comments involving Stefan Hoek idris2-prim package
#68
ngeiswei
closed
1 year ago
0
Prove that descent descends
#67
ngeiswei
closed
2 years ago
0
Complete min proofs
#66
ngeiswei
closed
2 years ago
0
More proofs about the min functions such as commutativity
#65
ngeiswei
closed
2 years ago
0
Add first draft xp to formalize properties about descent algorithm
#64
ngeiswei
closed
2 years ago
0
Incorporate Ben edits
#63
ngeiswei
closed
2 years ago
0
Add Matt as co-author
#62
ngeiswei
closed
2 years ago
0
Render report
#61
ngeiswei
closed
2 years ago
0
Update ai-dsl-techrep-2021-05_may.tex
#60
moikle
closed
2 years ago
1
Last improvements
#59
ngeiswei
closed
3 years ago
0
Minor improvements
#58
ngeiswei
closed
3 years ago
0
Add references to monad code and related citations
#57
sroberti
closed
3 years ago
0
Add Verified AI in the Related Work Section
#56
ngeiswei
closed
3 years ago
0
Final touches
#55
ngeiswei
closed
3 years ago
0
Complete Related Work Section
#54
ngeiswei
closed
3 years ago
0
Next