gsvgit / vsharp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from vsharp-team/vsharp
Symbolic execution engine for .NET Core
License: Apache License 2.0
This project forked from vsharp-team/vsharp
Symbolic execution engine for .NET Core
License: Apache License 2.0
бахнуть модуль логгирования: либу logging, разные уровни verbosity, круто было бы рисовать табличку с результатами каждой нейронки
fix sort
Нужно зачинить обучение, чтобы оно запускалось хоть как-нибудь
Док:
"""Тут надо быть внимательным, так как реальное количество шагов может быть меньше, чем заявленное в батче. Например, нейронка набрала 100% покрытие раньше, чем исчерпала лимит шагов. Она должна быть более успешной, чем та нейронка, которая также набрала 100% покрытия, но сделала больше шагов. """
надо проверить, что покрытие нейронки, завершившей игру раньше, 100%
В некоторых ситуациях состояния могут удаляться из рассмотрения. Например, когда состояния дошло до стока и по нему сгенерировались тесты. Надо убедиться, что такие состояния с карты тоже исчезают. Первые запуски демонстрируют странное поведение, возможное как раз если состояния вовремя не убираются с карты.
Для повышения качества кода хочется выделить "ядро" системы так, чтобы функции оттуда были неизменяемы и могли быть использованы для генетического обучения и обучения с учителем
При отправке на сервер сериализированного State вместо его айди он продолжает работать
Вот ветка с кодом:
https://github.com/emnigma/VSharp/tree/unexpected_server_answer
Вот тут присылается State вместо его Id:
https://github.com/emnigma/VSharp/blob/3af2bca5e0121fd37760b7ff4fdd5bb2dd0f6c75/VSharp.ML.AIAgent/old_agent_launch.py#L55
На сервер приходит вот такой json в итоге:
{"MessageType": "step", "MessageBody": "{\\"StateId\\": {\\"Id\\": 0, \\"Position\\": 1, \\"PredictedUsefulness\\": 0, \\"PathConditionSize\\": 1, \\"VisitedAgainVertices\\": 0, \\"VisitedNotCoveredVerticesInZone\\": 0, \\"VisitedNotCoveredVerticesOutOfZone\\": 0, \\"History\\": [0], \\"Children\\": []}, \\"PredictedStateUsefulness\\": 42.0}"}
вот он же не экранированный:
{
"MessageType": "step",
"MessageBody": "{StateId: {Id: 0, Position: 1, PredictedUsefulness: 0, PathConditionSize: 1, VisitedAgainVertices: 0, VisitedNotCoveredVerticesInZone: 0, VisitedNotCoveredVerticesOutOfZone: 0, History: [0], Children: []}, PredictedStateUsefulness: 42.0}"
}
логи:
unexpected.log
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.